Custom UPPAAL pragma: "?" icon not working

When I click on the "?" icon located in the upper part of the UPPAAL custom pragma dialog window, nothing happens.