def restorePerspective(self): perspective = self.settings.get('view', 'perspective') for viewerType in viewer.viewerTypes(): if self.perspectiveAndSettingsHaveDifferentViewerCount(viewerType): # Different viewer counts may happen when the name of a viewer # is changed between versions perspective = '' break self.manager.LoadPerspective(perspective) self.manager.Update()
def restorePerspective(self): perspective = self.settings.get('view', 'perspective') viewerTypes = viewer.viewerTypes() for viewerType in viewerTypes: if self.perspectiveAndSettingsHaveDifferentViewerCount(viewerType): # Different viewer counts may happen when the name of a viewer # is changed between versions perspective = '' break self.manager.LoadPerspective(perspective) for pane in self.manager.GetAllPanes(): # Prevent zombie panes by making sure all panes are visible if not pane.IsShown(): pane.Show() # Ignore the titles that are saved in the perspective, they may be # incorrect when the user changes translation: if hasattr(pane.window, 'title'): pane.Caption(pane.window.title()) self.manager.Update()
def saveViewerCounts(self): ''' Save the number of viewers for each viewer type. ''' for viewerType in viewer.viewerTypes(): count = len([v for v in self.viewer if v.__class__.__name__.lower() == viewerType]) self.settings.set('view', viewerType + 'count', str(count))