diff options
| author | Albrecht Schlosser <albrechts.fltk@online.de> | 2018-12-11 11:50:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-11 11:50:07 +0100 |
| commit | 9ea0d4ccbce4b0efd7db5368a4382bb992c64e13 (patch) | |
| tree | 6c27413e2ed25b1fc2b9f209b98e90dfae58757e /src | |
| parent | 745828154547e0dbd635afb9fae469eac37a255a (diff) | |
Quick fix: menu disappearing (STR #3503 continued)
Quick fix to repair a case when Fl_Menu_Item::pulldown() was called with only
five arguments (argument pbutton == null) as discussed here:
https://github.com/fltk/fltk/commit/d87ac9b59783dec5628e7ae242b390cf5097b77a#comments
Diffstat (limited to 'src')
| -rw-r--r-- | src/Fl_Menu.cxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Fl_Menu.cxx b/src/Fl_Menu.cxx index b3e1f5c65..b51b4e040 100644 --- a/src/Fl_Menu.cxx +++ b/src/Fl_Menu.cxx @@ -925,7 +925,7 @@ const Fl_Menu_Item* Fl_Menu_Item::pulldown( { const Fl_Menu_Item* oldi = pp.current_item; Fl::wait(); - if (wp.deleted()) // menu widget has been deleted (STR #3503) + if (pbutton && wp.deleted()) // menu widget has been deleted (STR #3503) break; if (pp.state == DONE_STATE) break; // done. if (pp.current_item == oldi) continue; |