diff --git a/src/fluxbox.cc b/src/fluxbox.cc index dd1c3913..d886eebf 100644 --- a/src/fluxbox.cc +++ b/src/fluxbox.cc @@ -1717,11 +1717,6 @@ bool Fluxbox::menuTimestampsChanged() const { return false; } -void Fluxbox::checkMenu() { - if (menuTimestampsChanged()) - rereadMenu(); -} - void Fluxbox::hideExtraMenus(BScreen &screen) { #ifdef USE_TOOLBAR diff --git a/src/fluxbox.hh b/src/fluxbox.hh index 8a2e27de..5337ad91 100644 --- a/src/fluxbox.hh +++ b/src/fluxbox.hh @@ -172,7 +172,6 @@ public: void reconfigure(); void rereadMenu(bool show_after_reread = false); /// reloads the menus if the timestamps changed - void checkMenu(); void hideExtraMenus(BScreen &screen);