AARGH!! I had a terminal window open in GNOME, and on one of the menu items on the terminal window, I checked "hide menu bar". So how the heck do I bring it back??? Help!