Mercurial Repositories > eric / file comparison
comparison: src/eric7/JediInterface/AssistantJedi.py
src/eric7/JediInterface/AssistantJedi.py
- branch
- eric7
- changeset 11000
- f8371a2dd08f
- parent 10970
- 2ad8a7d0867c
- child 11090
- f5f5f5803935
equal
deleted
inserted
replaced
| 10999:c3cf24fe9113 | 11000:f8371a2dd08f |
|---|---|
| 171 Private method to connect the mouse click handler to an editor. | 171 Private method to connect the mouse click handler to an editor. |
| 172 | 172 |
| 173 @param editor reference to the editor | 173 @param editor reference to the editor |
| 174 @type Editor | 174 @type Editor |
| 175 """ | 175 """ |
| 176 if ( | 176 if Preferences.getJedi( |
| 177 Preferences.getJedi("MouseClickGotoButton") | 177 "MouseClickGotoButton" |
| 178 and not FileSystemUtilities.isRemoteFileName(editor.getFileName()) | 178 ) and not FileSystemUtilities.isRemoteFileName(editor.getFileName()): |
| 179 ): | |
| 180 editor.setMouseClickHandler( | 179 editor.setMouseClickHandler( |
| 181 "jedi", | 180 "jedi", |
| 182 Preferences.getJedi("MouseClickGotoModifiers"), | 181 Preferences.getJedi("MouseClickGotoModifiers"), |
| 183 Preferences.getJedi("MouseClickGotoButton"), | 182 Preferences.getJedi("MouseClickGotoButton"), |
| 184 self.__jediServer.gotoDefinition, | 183 self.__jediServer.gotoDefinition, |
