Tried running gnome-terminal --show-menubar , to no avail. In gnome-terminal, tried shift-f10, uncheck and recheck show menubar, to no avail. Tried uninstalling and reinstalling gnome-globalmenu .