aboutsummaryrefslogtreecommitdiff
path: root/src/FbTk/Menu.cc
diff options
context:
space:
mode:
authorfluxgen <fluxgen>2004-06-13 12:01:52 (GMT)
committerfluxgen <fluxgen>2004-06-13 12:01:52 (GMT)
commit463c7dab18d78973671c7d3aba3c47d62a30cc00 (patch)
tree39c39dce946da8d75c289f597b67db5752c5d5ac /src/FbTk/Menu.cc
parent2475b2debcd9bd6f318ff1dcde8020ebeb81f11c (diff)
downloadfluxbox_pavel-463c7dab18d78973671c7d3aba3c47d62a30cc00.zip
fluxbox_pavel-463c7dab18d78973671c7d3aba3c47d62a30cc00.tar.bz2
minor fix
Diffstat (limited to 'src/FbTk/Menu.cc')
-rw-r--r--src/FbTk/Menu.cc8
1 files changed, 5 insertions, 3 deletions
diff --git a/src/FbTk/Menu.cc b/src/FbTk/Menu.cc
index 204bede..2a91ee4 100644
--- a/src/FbTk/Menu.cc
+++ b/src/FbTk/Menu.cc
@@ -22,7 +22,7 @@
22// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER 22// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
23// DEALINGS IN THE SOFTWARE. 23// DEALINGS IN THE SOFTWARE.
24 24
25// $Id: Menu.cc,v 1.65 2004/06/13 10:58:34 fluxgen Exp $ 25// $Id: Menu.cc,v 1.66 2004/06/13 12:01:52 fluxgen Exp $
26 26
27//use GNU extensions 27//use GNU extensions
28#ifndef _GNU_SOURCE 28#ifndef _GNU_SOURCE
@@ -160,7 +160,7 @@ Menu::Menu(MenuTheme &tm, ImageControl &imgctrl):
160 event_mask, // mask 160 event_mask, // mask
161 false, // override redirect 161 false, // override redirect
162 true); // save under 162 true); // save under
163 163
164 evm.add(*this, menu.title); 164 evm.add(*this, menu.title);
165 165
166 event_mask |= PointerMotionMask; 166 event_mask |= PointerMotionMask;
@@ -172,6 +172,8 @@ Menu::Menu(MenuTheme &tm, ImageControl &imgctrl):
172 true); // save under 172 true); // save under
173 evm.add(*this, menu.frame); 173 evm.add(*this, menu.frame);
174 174
175 menu.title.raise();
176
175} 177}
176 178
177Menu::~Menu() { 179Menu::~Menu() {
@@ -531,7 +533,7 @@ void Menu::update(int active_index) {
531 533
532 menu.frame.moveResize(0, ((title_vis) ? menu.title.y() + menu.title.height() + 534 menu.frame.moveResize(0, ((title_vis) ? menu.title.y() + menu.title.height() +
533 menu.title.borderWidth()*2 : 0), 535 menu.title.borderWidth()*2 : 0),
534 menu.window.width(), menu.frame_h); 536 width(), menu.frame_h);
535 537
536 538
537 if (m_need_update && (m_frame_pm.width() != menu.frame.width() || 539 if (m_need_update && (m_frame_pm.width() != menu.frame.width() ||