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".
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.