--- 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.