diff options
| author | Mark Tiefenbruck <mark@fluxbox.org> | 2007-12-18 06:52:30 (GMT) |
|---|---|---|
| committer | Mark Tiefenbruck <mark@fluxbox.org> | 2007-12-18 06:52:30 (GMT) |
| commit | 98c5cea5f59180a80d322cb9e45d0d9ea5381444 (patch) | |
| tree | 0f3b8ce00cd4e0228e04f2b5cd18e5acdbee7524 /src/FbTk/Menu.hh | |
| parent | c01bd6e9fd98dd0f70ffc1d01df86e73719cd5e0 (diff) | |
| download | fluxbox_paul-98c5cea5f59180a80d322cb9e45d0d9ea5381444.zip fluxbox_paul-98c5cea5f59180a80d322cb9e45d0d9ea5381444.tar.bz2 | |
fix torn menus
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 53dc494..f16c443 100644 --- a/src/FbTk/Menu.hh +++ b/src/FbTk/Menu.hh | |||
| @@ -124,7 +124,7 @@ public: | |||
| 124 | /// show menu | 124 | /// show menu |
| 125 | virtual void show(); | 125 | virtual void show(); |
| 126 | /// hide menu | 126 | /// hide menu |
| 127 | virtual void hide(); | 127 | virtual void hide(bool force = false); |
| 128 | virtual void clearWindow(); | 128 | virtual void clearWindow(); |
| 129 | #ifdef NOT_USED | 129 | #ifdef NOT_USED |
| 130 | void setActiveIndex(int index) { m_active_index = index; } | 130 | void setActiveIndex(int index) { m_active_index = index; } |