WebBrowser/WebBrowserWindow.py

changeset 6132
0b5bf5d0c317
parent 6127
128d9567a533
child 6137
27962f3f457f
equal deleted inserted replaced
6131:1ecd0c53e117 6132:0b5bf5d0c317
2893 pass 2893 pass
2894 2894
2895 if not self.__fromEric: 2895 if not self.__fromEric:
2896 Preferences.syncPreferences() 2896 Preferences.syncPreferences()
2897 if not WebBrowserWindow._performingShutdown and \ 2897 if not WebBrowserWindow._performingShutdown and \
2898 len(WebBrowserWindow.BrowserWindows) == 1: 2898 len(WebBrowserWindow.BrowserWindows) == 0:
2899 # shut down the browser in case the last window was 2899 # shut down the browser in case the last window was
2900 # simply closed 2900 # simply closed
2901 self.shutdown() 2901 self.shutdown()
2902 2902
2903 return True 2903 return True

eric ide

mercurial