From 59384b359cf1d4572c20216e4700e26e77d36733 Mon Sep 17 00:00:00 2001
From: Matthias Melcher <github@matthiasm.com>
Date: Tue, 11 Jan 2022 21:41:58 +0100
Subject: Fluid: Window was not updated when widget was deleted.

For parents with a box type based on FRAME.
---
 fluid/Fl_Widget_Type.cxx | 8 ++++++--
 1 file 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_);
-- 
cgit v1.2.3