Fix some glitches in the menus

We fixed some glitches in the menus, especially when the mouse and the keyboard highlight different menu's elements at the same time.