# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1552289983 -3600
# Node ID fe540a6dc14dd8710e25072a85f5e3a9d70910d8
# Parent  825e8c91b703dc4f2cdca602c2dc76a5adc2fe02
widgets handler: call host._removeVisibleWidget when a widget is deleted (using split)

diff -r 825e8c91b703 -r fe540a6dc14d cagou/core/widgets_handler.py
--- a/cagou/core/widgets_handler.py	Mon Mar 11 08:39:43 2019 +0100
+++ b/cagou/core/widgets_handler.py	Mon Mar 11 08:39:43 2019 +0100
@@ -68,7 +68,7 @@
     def _main_wid(self, wid_list):
         """return main widget of a side list
 
-        main widget is either the widget currently splitter
+        main widget is either the widget currently splitted
         or any widget if none is split
         @return (WHWrapper, None): main widget or None
             if there is not widget
@@ -269,6 +269,7 @@
             # and update there side widgets list
             for top in self._top_wids.copy():
                 if top.height <= REMOVE_WID_LIMIT:
+                    G.host._removeVisibleWidget(top.current_slide)
                     for w in top._top_wids:
                         w._bottom_wids.remove(top)
                         w._bottom_wids.update(top._bottom_wids)
@@ -285,6 +286,7 @@
             # and update there side widgets list
             for left in self._left_wids.copy():
                 if left.width <= REMOVE_WID_LIMIT:
+                    G.host._removeVisibleWidget(left.current_slide)
                     for w in left._left_wids:
                         w._right_wids.remove(left)
                         w._right_wids.update(left._right_wids)