I've noticed a similar bug... if you click on the file menu and then select another window in the taskbar then the menu will stay open on top of everything else. (also happens with the numeric tab) Its not too serious but I suppose it will be easy to fix.