hideMenu          420 gui/gtk/gtk.cpp GtkGui::hideMenu()
hideMenu          231 gui/gui.cpp    Gui::hideMenu()