src/eric7/UI/PythonDisViewer.py

branch
eric7
changeset 10683
779cda568acb
parent 10439
21c28b0f9e41
child 10692
9becf9ca115c
equal deleted inserted replaced
10682:47be220abdaf 10683:779cda568acb
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

eric ide

mercurial