diff options
| author | Albrecht Schlosser <albrechts.fltk@online.de> | 2018-12-07 14:45:50 +0100 |
|---|---|---|
| committer | Albrecht Schlosser <albrechts.fltk@online.de> | 2018-12-07 14:45:50 +0100 |
| commit | d87ac9b59783dec5628e7ae242b390cf5097b77a (patch) | |
| tree | 3083faa2948257aa675f78aacd6ff95462bc5859 /test/blocks.app/Contents | |
| parent | f9228e55b3dbe90b08691d16e10c252eeb6c3257 (diff) | |
Fix crash if menu is deleted while menu is open (SGR #3503).
This can happen if a menu widget (e.g. Fl_Choice) is deleted in a
timer callback while the menu is open (pulldown active).
Diffstat (limited to 'test/blocks.app/Contents')
0 files changed, 0 insertions, 0 deletions