126 @param editor reference to the editor |
126 @param editor reference to the editor |
127 @type Editor |
127 @type Editor |
128 """ |
128 """ |
129 self.__editorChanged(editor) |
129 self.__editorChanged(editor) |
130 |
130 |
131 def __editorTextChanged(self, editor): # noqa: U100 |
131 def __editorTextChanged(self, _editor): |
132 """ |
132 """ |
133 Private slot to handle changes of an editor's text. |
133 Private slot to handle changes of an editor's text. |
134 |
134 |
135 @param editor reference to the editor |
135 @param _editor reference to the editor (unused) |
136 @type Editor |
136 @type Editor |
137 """ |
137 """ |
138 if self.isVisible(): |
138 if self.isVisible(): |
139 self.__typingTimer.stop() |
139 self.__typingTimer.stop() |
140 self.__typingTimer.start() |
140 self.__typingTimer.start() |