previously_visible  324 lib/widget/menu.c     if (!menubar->previously_visible)
previously_visible 1092 lib/widget/menu.c         menubar->previously_visible = widget_get_state (w, WST_VISIBLE);
previously_visible   37 lib/widget/menu.h     gboolean previously_visible;    // Visibility of menubar before activating menu