hideMenu          561 gui/Player.cpp         _gui->hideMenu();
hideMenu          162 gui/Player.h       void hideMenu(bool x) {
hideMenu          423 gui/gnash.cpp          ->notifier(boost::bind(&Player::hideMenu, &p, _1)),
hideMenu           74 gui/gtk/gtksup.h     virtual void hideMenu();
hideMenu          308 gui/gui.h          virtual void hideMenu();