UI/UserInterface.py

changeset 42
23b45a742e17
parent 22
74b42c452d1e
child 45
9a18f4dbb493
equal deleted inserted replaced
41:572a009369f0 42:23b45a742e17
5173 if self.embeddedFileBrowser: 5173 if self.embeddedFileBrowser:
5174 del windows["FileBrowser"] 5174 del windows["FileBrowser"]
5175 for window, i in zip(self.windows, list(range(len(self.windows)))): 5175 for window, i in zip(self.windows, list(range(len(self.windows)))):
5176 if window is not None: 5176 if window is not None:
5177 self.profiles[self.currentProfile][2][i] = \ 5177 self.profiles[self.currentProfile][2][i] = \
5178 str(window.saveGeometry()) 5178 bytes(window.saveGeometry())
5179 5179
5180 self.browser.saveToplevelDirs() 5180 self.browser.saveToplevelDirs()
5181 5181
5182 Preferences.setUI("ToolbarManagerState", self.toolbarManager.saveState()) 5182 Preferences.setUI("ToolbarManagerState", self.toolbarManager.saveState())
5183 self.__saveCurrentViewProfile(True) 5183 self.__saveCurrentViewProfile(True)

eric ide

mercurial