Helpviewer/HelpWindow.py

changeset 4341
1ff0929aab09
parent 4337
c29bb9f31972
child 4355
40ec6bef4c22
equal deleted inserted replaced
4339:c2d1da8d2a05 4341:1ff0929aab09
2219 if self.__helpInstaller: 2219 if self.__helpInstaller:
2220 self.__helpInstaller.stop() 2220 self.__helpInstaller.stop()
2221 2221
2222 self.searchEdit.saveSearches() 2222 self.searchEdit.saveSearches()
2223 2223
2224 self.tabWidget.closeAllBrowsers()
2225
2224 state = self.saveState() 2226 state = self.saveState()
2225 Preferences.setHelp("HelpViewerState", state) 2227 Preferences.setHelp("HelpViewerState", state)
2226 2228
2227 if Preferences.getHelp("SaveGeometry"): 2229 if Preferences.getHelp("SaveGeometry"):
2228 if not self.__isFullScreen(): 2230 if not self.__isFullScreen():

eric ide

mercurial