Bug#649409: problem of wxWin

[Steffen Möller]

Hello,

yes, this problem of the menu line not appearing drives me crazy, too. Upstream was not aware of it, just because the problem is most likely
not with their code but with (according to bug report #648968) some likelihood this is an issue of wxWidgets are explained on https://bugs.launchpad.net/ubuntu/+source/wxwidgets2.8/+bug/662077 .

Until the culprit has been identified, please change the size of the window to have the menus redrawn.

Steffen