WebBrowser/WebBrowserWindow.py

changeset 5785
7c7c5f9e4fad
parent 5784
362bbcc49ac1
child 5793
4ff73b969ab1
diff -r 362bbcc49ac1 -r 7c7c5f9e4fad WebBrowser/WebBrowserWindow.py
--- a/WebBrowser/WebBrowserWindow.py	Tue Jul 04 19:44:30 2017 +0200
+++ b/WebBrowser/WebBrowserWindow.py	Wed Jul 05 19:38:06 2017 +0200
@@ -2934,7 +2934,6 @@
         
         self.networkManager().shutdown()
         
-        
         for browser in WebBrowserWindow.BrowserWindows:
             if browser != self:
                 browser.close()

eric ide

mercurial