M src/fluxbox.cc → src/fluxbox.cc

@@ -1717,11 +1717,6 @@ // no timestamp changed
     return false;
 }
 
-void Fluxbox::checkMenu() {
-    if (menuTimestampsChanged())
-        rereadMenu();
-}
-
 void Fluxbox::hideExtraMenus(BScreen &screen) {
 
 #ifdef USE_TOOLBAR

M src/fluxbox.hh → src/fluxbox.hh

@@ -172,7 +172,6 @@ void restart(const char *command = 0);
     void reconfigure();
     void rereadMenu(bool show_after_reread = false);
     /// reloads the menus if the timestamps changed
-    void checkMenu();
 
     void hideExtraMenus(BScreen &screen);