diff options
author | markt <markt> | 2007-07-07 01:56:46 (GMT) |
---|---|---|
committer | markt <markt> | 2007-07-07 01:56:46 (GMT) |
commit | 18cd70f74999b85ea5d35fc95fad3fdf33f1831e (patch) | |
tree | 7a149c79982a1eaa43aed5773cecfd482e426b8e /src/FbTk/Menu.hh | |
parent | d39a5489b18ef28f21ba910c76cba8f1342bc97c (diff) | |
download | fluxbox-18cd70f74999b85ea5d35fc95fad3fdf33f1831e.zip fluxbox-18cd70f74999b85ea5d35fc95fad3fdf33f1831e.tar.bz2 |
save workspace names, and some fixes for menu behavior
Diffstat (limited to 'src/FbTk/Menu.hh')
-rw-r--r-- | src/FbTk/Menu.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/FbTk/Menu.hh b/src/FbTk/Menu.hh index e6c249d..576c9f3 100644 --- a/src/FbTk/Menu.hh +++ b/src/FbTk/Menu.hh | |||
@@ -191,7 +191,7 @@ protected: | |||
191 | virtual void redrawTitle(FbDrawable &pm); | 191 | virtual void redrawTitle(FbDrawable &pm); |
192 | virtual void redrawFrame(FbDrawable &pm); | 192 | virtual void redrawFrame(FbDrawable &pm); |
193 | 193 | ||
194 | virtual void internal_hide(); | 194 | virtual void internal_hide(bool first = true); |
195 | 195 | ||
196 | void update(FbTk::Subject *); | 196 | void update(FbTk::Subject *); |
197 | 197 | ||