Added a signal to the editor showing a refresh has happend and connected the editor assembly to it.

Sun, 22 Apr 2012 12:01:43 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sun, 22 Apr 2012 12:01:43 +0200
changeset 1807
9898a95461f1
parent 1806
9ac49a2db4e7
child 1811
623b5945226e

Added a signal to the editor showing a refresh has happend and connected the editor assembly to it.

QScintilla/Editor.py file | annotate | diff | comparison | revisions
QScintilla/EditorAssembly.py file | annotate | diff | comparison | revisions
--- a/QScintilla/Editor.py	Sat Apr 21 19:52:33 2012 +0200
+++ b/QScintilla/Editor.py	Sun Apr 22 12:01:43 2012 +0200
@@ -83,6 +83,7 @@
     @signal encodingChanged(str) emitted when the editors encoding was set. The
             encoding name is passed as a parameter.
     @signal lastEditPositionAvailable() emitted when a last edit position is available
+    @signal refreshed() emitted to signal a refresh of the editor contents
     """
     modificationStatusChanged = pyqtSignal(bool, QsciScintillaCompat)
     undoAvailable = pyqtSignal(bool)
@@ -103,6 +104,7 @@
     eolChanged = pyqtSignal(str)
     encodingChanged = pyqtSignal(str)
     lastEditPositionAvailable = pyqtSignal()
+    refreshed = pyqtSignal()
     
     # Autocompletion icon definitions
     ClassID = 1
@@ -5562,6 +5564,8 @@
         self.editorSaved.emit(self.fileName)
         self.__autoSyntaxCheck()
         
+        self.refreshed.emit()
+        
     def setMonospaced(self, on):
         """
         Public method to set/reset a monospaced font.
--- a/QScintilla/EditorAssembly.py	Sat Apr 21 19:52:33 2012 +0200
+++ b/QScintilla/EditorAssembly.py	Sun Apr 22 12:01:43 2012 +0200
@@ -59,6 +59,7 @@
         self.__parseTimer.setInterval(5 * 1000)
         self.__parseTimer.timeout.connect(self.__parseEditor)
         self.__editor.textChanged.connect(self.__resetParseTimer)
+        self.__editor.refreshed.connect(self.__resetParseTimer)
         
         self.__selectedGlobal = ""
         self.__selectedMember = ""
@@ -72,6 +73,7 @@
         self.__parseTimer.stop()
         self.__parseTimer.timeout.disconnect(self.__parseEditor)
         self.__editor.textChanged.disconnect(self.__resetParseTimer)
+        self.__editor.refreshed.disconnect(self.__resetParseTimer)
     
     def getEditor(self):
         """

eric ide

mercurial