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): # noqa: U100 |
178 def __editorLineChanged(self, editor, _lineno): |
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 |
184 @param lineno line number of the editor's cursor (zero based) |
184 @param _lineno line number of the editor's cursor (zero based) (unused) |
185 @type int |
185 @type int |
186 """ |
186 """ |
187 if editor is self.__editor: |
187 if editor is self.__editor: |
188 if editor.isModified(): |
188 if editor.isModified(): |
189 # reload the source |
189 # reload the source |