--- a/ViewManager/ViewManager.py Sun Jan 13 17:27:15 2013 +0100 +++ b/ViewManager/ViewManager.py Sun Jan 13 19:11:18 2013 +0100 @@ -3732,6 +3732,8 @@ self.__lastEditorClosed() self.lastEditorClosed.emit() + editor.deleteLater() + return True def closeCurrentWindow(self): @@ -3855,6 +3857,7 @@ editor.selectionChanged.connect(self.searchDlg.selectionChanged) editor.selectionChanged.connect(self.replaceDlg.selectionChanged) editor.lastEditPositionAvailable.connect(self.__lastEditPositionAvailable) + editor.zoomValueChanged.connect(self.zoomValueChanged) def newEditorView(self, fn, caller, filetype=""): """ @@ -5042,6 +5045,14 @@ aw.zoomTo(value) self.sbZoom.setValue(aw.getZoom()) + def zoomValueChanged(self, value): + """ + Public slot to handle changes of the zoom value. + + @param value new zoom value (integer) + """ + self.sbZoom.setValue(value) + def __toggleAll(self): """ Private method to handle the toggle all folds action.