src/eric7/UI/Previewer.py

branch
eric7
changeset 10683
779cda568acb
parent 10439
21c28b0f9e41
child 11090
f5f5f5803935
equal deleted inserted replaced
10682:47be220abdaf 10683:779cda568acb
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()

eric ide

mercurial