diff options
| author | Matthias Melcher <github@matthiasm.com> | 2022-01-11 21:41:58 +0100 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2022-01-11 21:42:03 +0100 |
| commit | 59384b359cf1d4572c20216e4700e26e77d36733 (patch) | |
| tree | 3013b6e96ead09543026d34ae6fed28ea1ac1e30 | |
| parent | d699b617acb7f525294c531aa5ef48781cd5adf4 (diff) | |
Fluid: Window was not updated when widget was deleted.
For parents with a box type based on FRAME.
| -rw-r--r-- | fluid/Fl_Widget_Type.cxx | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/fluid/Fl_Widget_Type.cxx b/fluid/Fl_Widget_Type.cxx index 68fb64b38..e0f9d319e 100644 --- a/fluid/Fl_Widget_Type.cxx +++ b/fluid/Fl_Widget_Type.cxx @@ -214,8 +214,12 @@ Fl_Widget_Type::Fl_Widget_Type() { Fl_Widget_Type::~Fl_Widget_Type() { if (o) { o->hide(); - if (o->parent()) ((Fl_Group*)o->parent())->remove(*o); - delete o; + Fl_Window *win = o->window(); + if (win) + win->redraw(); + if (o->parent()) + ((Fl_Group*)o->parent())->remove(*o); + Fl::delete_widget(o); } if (subclass_) free((void*)subclass_); if (tooltip_) free((void*)tooltip_); |
