QScintilla/Editor.py

changeset 5416
16366120b523
parent 5389
9b1c800daff3
child 5446
7f48d7f8eef0
--- a/QScintilla/Editor.py	Tue Jan 10 19:41:43 2017 +0100
+++ b/QScintilla/Editor.py	Wed Jan 11 19:28:04 2017 +0100
@@ -84,6 +84,8 @@
     @signal lastEditPositionAvailable() emitted when a last edit position is
         available
     @signal refreshed() emitted to signal a refresh of the editor contents
+    @signal settingsRead() emitted to signal, that the settings have been read
+        and set
     """
     modificationStatusChanged = pyqtSignal(bool, QsciScintillaCompat)
     undoAvailable = pyqtSignal(bool)
@@ -107,6 +109,7 @@
     encodingChanged = pyqtSignal(str)
     lastEditPositionAvailable = pyqtSignal()
     refreshed = pyqtSignal()
+    settingsRead = pyqtSignal()
     
     WarningCode = 1
     WarningStyle = 2
@@ -4061,6 +4064,8 @@
         self.__refreshAnnotations()
         
         self.__markerMap.initColors()
+        
+        self.settingsRead.emit()
     
     def __setLineMarkerColours(self):
         """

eric ide

mercurial