diff options
| -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; |