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-301665024da21a345b7ff682fed1d94a9e5de36c.zip fluxbox-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 |