Linux user: main menus can't be used until window is "scrolled up" then redisplayed

[Adam Winer]

Maybe similar to:

http://stackoverflow.com/questions/12547625/jmenu-doesnt-appear-until-i-minimize-or-resize-the-jframe