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/fluxbox.cc | |
parent | 9e6c12361113669fad460d66521faaa03102936e (diff) | |
download | fluxbox_pavel-301665024da21a345b7ff682fed1d94a9e5de36c.zip fluxbox_pavel-301665024da21a345b7ff682fed1d94a9e5de36c.tar.bz2 |
another dead function
Diffstat (limited to 'src/fluxbox.cc')
-rw-r--r-- | src/fluxbox.cc | 5 |
1 files changed, 0 insertions, 5 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 |