Would it be possible to bring back the 'reset' option on the popup right-click-mouse menu? I often need to reset the terminal after it gets confused (typically when rlogged into random Unix machines); I now need to re-enable the menu bar to be able to do this. (with the 7.3 gnome-terminal the reset was on the menu) Of course, you may reasonably just say "Well don't disable the menu bar in the first place then, you fool".
See http://bugzilla.gnome.org/show_bug.cgi?id=7035 Unfortunately, every user has a different 1 item they want added to the right-click menu. ;-) I _would_ tend to say this is why menubars were invented... though there's probably some room to re-evaluate which subset of items are on right-click. In any case, best tracked on the gnome.org bug, I wouldn't change it in a Red Hat patch. Closing here.