To reproduce: * Run gnome terminal * Press F10
What happens: * The third menu item is shown
What should happen_ * The first menu item is shown
To reproduce:
* Run gnome terminal
* Press F10
What happens:
* The third menu item is shown
What should happen_
* The first menu item is shown