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