ViewManager/ViewManager.py

changeset 2347
a4a4d710ebe8
parent 2334
fc69ad77e18a
child 2351
649e4f8c5cef
--- 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.

eric ide

mercurial