This is likely now fixed. (I've removed the menu hack in favour of a fix in our local wxWidgets branch.)
This is likely now fixed. (I've removed the menu hack in favour of a fix in our local wxWidgets branch.)