Bugs

On Linux machines only, there is a menubar bug where the menubar is incorrectly visible and incorrectly invisible at the wrong times - they are swapped with each other when they should not be. Fix this so that the menubar disppears when appropriate.