# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1423592005 -3600
# Node ID 6016c74ee3238cb2db8dadfd8e7eef0cdf39da10
# Parent  5b19fb5eae7eb5c5f20c54787bbfe50e184f2ecc
browser side: web widget is recreated when there is already one

diff -r 5b19fb5eae7e -r 6016c74ee323 src/browser/sat_browser/menu.py
--- a/src/browser/sat_browser/menu.py	Tue Feb 10 19:11:24 2015 +0100
+++ b/src/browser/sat_browser/menu.py	Tue Feb 10 19:13:25 2015 +0100
@@ -98,7 +98,7 @@
 
     # General menu
     def onWebWidget(self):
-        web_widget = self.host.widgets.getOrCreateWidget(panels.WebPanel, C.WEB_PANEL_DEFAULT_URL, profile=C.PROF_KEY_NONE)
+        web_widget = self.host.widgets.getOrCreateWidget(panels.WebPanel, C.WEB_PANEL_DEFAULT_URL, profile=C.PROF_KEY_NONE, on_existing_widget=C.WIDGET_RECREATE)
         self.host.setSelected(web_widget)
 
     def onDisconnect(self):