aboutsummaryrefslogtreecommitdiff
path: root/src/fluxbox.hh
diff options
context:
space:
mode:
authormathias <mathias>2004-11-24 12:26:12 (GMT)
committermathias <mathias>2004-11-24 12:26:12 (GMT)
commit443e7081d44f27a254fbbb549013ef337f078b13 (patch)
tree8b7468b1aff89a3e23483c11f4f17be1c7bd345c /src/fluxbox.hh
parent7f3249f05c5f7098228c3a8533323dcecfdd254b (diff)
downloadfluxbox_pavel-443e7081d44f27a254fbbb549013ef337f078b13.zip
fluxbox_pavel-443e7081d44f27a254fbbb549013ef337f078b13.tar.bz2
fix the hiding of the menu when the menufile-timestamps changed
Diffstat (limited to 'src/fluxbox.hh')
-rw-r--r--src/fluxbox.hh3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/fluxbox.hh b/src/fluxbox.hh
index 6ed7902..e850994 100644
--- a/src/fluxbox.hh
+++ b/src/fluxbox.hh
@@ -189,7 +189,7 @@ public:
189 void removeGroupSearch(Window win); 189 void removeGroupSearch(Window win);
190 void restart(const char *command = 0); 190 void restart(const char *command = 0);
191 void reconfigure(); 191 void reconfigure();
192 void rereadMenu(); 192 void rereadMenu(bool show_after_reread = false);
193 /// reloads the menus if the timestamps changed 193 /// reloads the menus if the timestamps changed
194 void checkMenu(); 194 void checkMenu();
195 195
@@ -325,6 +325,7 @@ private:
325 bool m_starting; 325 bool m_starting;
326 bool m_restarting; 326 bool m_restarting;
327 bool m_shutdown; 327 bool m_shutdown;
328 bool m_show_menu_after_reread;
328 int m_server_grabs; 329 int m_server_grabs;
329 int m_randr_event_type; ///< the type number of randr event 330 int m_randr_event_type; ///< the type number of randr event
330 int m_shape_eventbase; ///< event base for shape events 331 int m_shape_eventbase; ///< event base for shape events