173 @type Editor |
173 @type Editor |
174 """ |
174 """ |
175 if editor and editor is self.__editor: |
175 if editor and editor is self.__editor: |
176 self.__loadDIS() |
176 self.__loadDIS() |
177 |
177 |
178 def __editorLineChanged(self, editor, lineno): |
178 def __editorLineChanged(self, editor, lineno): # noqa: U100 |
179 """ |
179 """ |
180 Private slot to handle a mouse button double click in the editor. |
180 Private slot to handle a mouse button double click in the editor. |
181 |
181 |
182 @param editor reference to the editor, that emitted the signal |
182 @param editor reference to the editor, that emitted the signal |
183 @type Editor |
183 @type Editor |