diff options
author | Jorge Arellano Cid <jcid@dillo.org> | 2011-07-10 12:30:08 -0400 |
---|---|---|
committer | Jorge Arellano Cid <jcid@dillo.org> | 2011-07-10 12:30:08 -0400 |
commit | 125de20a0c8f46f7ba73102fa53d28e153fd208c (patch) | |
tree | 31cc1414c4904c620f57a9d0a7d18e1c397253d2 | |
parent | e5f0de4d3d9d272a73bc829cd25af2054244676e (diff) |
Workaround: avoid a lingering tooltip from the Panel
-rw-r--r-- | src/ui.cc | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -785,6 +785,14 @@ int UI::handle(int event) int ret = 0; if (event == FL_KEYBOARD) { + /* WORKAROUND: remove the Panel's fltk-tooltip. + * Although the expose event is delivered, it has an offset. This + * extra call avoids the lingering tooltip. */ + if (Fl::event_inside(NavBar) || + (LocBar && Fl::event_inside(LocBar)) || + (MenuBar && Fl::event_inside(MenuBar))) + window()->damage(FL_DAMAGE_EXPOSE,0,0,1,1); + return 0; // Receive as shortcut } else if (event == FL_SHORTCUT) { KeysCommand_t cmd = Keys::getKeyCmd(); |