changeset 263:fe540a6dc14d

widgets handler: call host._removeVisibleWidget when a widget is deleted (using split)
author Goffi <goffi@goffi.org>
date Mon, 11 Mar 2019 08:39:43 +0100
parents 825e8c91b703
children 3e11b5d923e2
files cagou/core/widgets_handler.py
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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)