The default menu key, f6 is bugged. It sometimes creates multiple menus that can only be closed by opening the command line and pressing Close multiple times. Also, the key does not change from default to another key. Tried to turn it to f7 but it always reverts back to f6 once it is closed. Any ideas?