From 301665024da21a345b7ff682fed1d94a9e5de36c Mon Sep 17 00:00:00 2001
From: markt <markt>
Date: Fri, 30 Jun 2006 00:19:40 +0000
Subject: another dead function

---
 src/fluxbox.cc | 5 -----
 src/fluxbox.hh | 1 -
 2 files changed, 6 deletions(-)

diff --git a/src/fluxbox.cc b/src/fluxbox.cc
index dd1c391..d886eeb 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 8a2e27d..5337ad9 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);
 
-- 
cgit v0.11.2