QScintilla/Editor.py

changeset 1807
9898a95461f1
parent 1768
8a04ce23e083
child 1819
cfcfd617216a
--- 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.

eric ide

mercurial