diff options
| author | markt <markt> | 2006-07-26 20:20:52 (GMT) |
|---|---|---|
| committer | markt <markt> | 2006-07-26 20:20:52 (GMT) |
| commit | 0954a0b61d067d86047d0755a64b953bd12e4c20 (patch) | |
| tree | 6e062dea5e4da7beda598e69b7a1529e9fd41b9e /src | |
| parent | e26706408083ab1bff1febe792236e6e2763e27b (diff) | |
| download | fluxbox_paul-0954a0b61d067d86047d0755a64b953bd12e4c20.zip fluxbox_paul-0954a0b61d067d86047d0755a64b953bd12e4c20.tar.bz2 | |
fix torn menus on exec
Diffstat (limited to 'src')
| -rw-r--r-- | src/FbTk/Menu.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/FbTk/Menu.cc b/src/FbTk/Menu.cc index e70fa76..3524ee1 100644 --- a/src/FbTk/Menu.cc +++ b/src/FbTk/Menu.cc | |||
| @@ -564,7 +564,7 @@ void Menu::hide() { | |||
| 564 | p = p->m_parent; | 564 | p = p->m_parent; |
| 565 | 565 | ||
| 566 | p->internal_hide(); | 566 | p->internal_hide(); |
| 567 | } else // if we dont have a parent then do hide here | 567 | } else if (!m_torn) // if we dont have a parent then do hide here |
| 568 | internal_hide(); | 568 | internal_hide(); |
| 569 | 569 | ||
| 570 | } | 570 | } |
| @@ -898,7 +898,7 @@ void Menu::buttonReleaseEvent(XButtonEvent &re) { | |||
| 898 | } | 898 | } |
| 899 | 899 | ||
| 900 | if (re.button == 3) | 900 | if (re.button == 3) |
| 901 | hide(); | 901 | internal_hide(); |
| 902 | 902 | ||
| 903 | } else if (re.window == menu.frame) { | 903 | } else if (re.window == menu.frame) { |
| 904 | 904 | ||