# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1423591884 -3600
# Node ID 5b19fb5eae7eb5c5f20c54787bbfe50e184f2ecc
# Parent  ec77c2bc18d308416a048449e4330ba6918b185a
browser side: widget is deleted by default when close button is clicked in LiberviaWidget

diff -r ec77c2bc18d3 -r 5b19fb5eae7e src/browser/sat_browser/base_widget.py
--- a/src/browser/sat_browser/base_widget.py	Tue Feb 10 19:10:28 2015 +0100
+++ b/src/browser/sat_browser/base_widget.py	Tue Feb 10 19:11:24 2015 +0100
@@ -342,6 +342,7 @@
         _widgetspanel = self.getWidgetsPanel()
         _widgetspanel.removeWidget(self)
         self.onQuit()
+        self.host.widgets.deleteWidget(self)
 
     def onQuit(self):
         """ Called when the widget is actually ending """