diff options
author | markt <markt> | 2006-06-30 00:19:40 (GMT) |
---|---|---|
committer | markt <markt> | 2006-06-30 00:19:40 (GMT) |
commit | 301665024da21a345b7ff682fed1d94a9e5de36c (patch) | |
tree | 06e0fa11ee9395ad75116b03fb6dd933925d4c3c /src | |
parent | 9e6c12361113669fad460d66521faaa03102936e (diff) | |
download | fluxbox_paul-301665024da21a345b7ff682fed1d94a9e5de36c.zip fluxbox_paul-301665024da21a345b7ff682fed1d94a9e5de36c.tar.bz2 |
another dead function
Diffstat (limited to 'src')
-rw-r--r-- | src/fluxbox.cc | 5 | ||||
-rw-r--r-- | src/fluxbox.hh | 1 |
2 files changed, 0 insertions, 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 { | |||
1717 | return false; | 1717 | return false; |
1718 | } | 1718 | } |
1719 | 1719 | ||
1720 | void Fluxbox::checkMenu() { | ||
1721 | if (menuTimestampsChanged()) | ||
1722 | rereadMenu(); | ||
1723 | } | ||
1724 | |||
1725 | void Fluxbox::hideExtraMenus(BScreen &screen) { | 1720 | void Fluxbox::hideExtraMenus(BScreen &screen) { |
1726 | 1721 | ||
1727 | #ifdef USE_TOOLBAR | 1722 | #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: | |||
172 | void reconfigure(); | 172 | void reconfigure(); |
173 | void rereadMenu(bool show_after_reread = false); | 173 | void rereadMenu(bool show_after_reread = false); |
174 | /// reloads the menus if the timestamps changed | 174 | /// reloads the menus if the timestamps changed |
175 | void checkMenu(); | ||
176 | 175 | ||
177 | void hideExtraMenus(BScreen &screen); | 176 | void hideExtraMenus(BScreen &screen); |
178 | 177 | ||