src/eric7/JediInterface/AssistantJedi.py

Sat, 26 Apr 2025 12:34:32 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sat, 26 Apr 2025 12:34:32 +0200
branch
eric7
changeset 11240
c48c615c04a3
parent 11090
f5f5f5803935
permissions
-rw-r--r--

MicroPython
- Added a configuration option to disable the support for the no longer produced Pimoroni Pico Wireless Pack.

8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
1 # -*- coding: utf-8 -*-
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
2
11090
f5f5f5803935 Updated copyright for 2025.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 11000
diff changeset
3 # Copyright (c) 2015 - 2025 Detlev Offenbach <detlev@die-offenbachs.de>
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
4 #
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
5
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
6 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
7 Module implementing the Jedi assistant plug-in.
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
8 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
9
8666
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
10 import contextlib
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
11
9473
3f23dbf37dbe Resorted the import statements using isort.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9413
diff changeset
12 from PyQt6.QtCore import QObject, pyqtSlot
8666
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
13 from PyQt6.QtWidgets import QMenu
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
14
9413
80c06d472826 Changed the eric7 import statements to include the package name (i.e. eric7) in order to not fiddle with sys.path.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9387
diff changeset
15 from eric7 import Preferences
10587
670f234271d8 Made some fine tuning.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10439
diff changeset
16 from eric7.SystemUtilities import FileSystemUtilities
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
17
9482
a2bc06a54d9d Corrected/acknowledged some bad import style and removed some obsolete code.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9473
diff changeset
18 from .JediServer import JediServer
a2bc06a54d9d Corrected/acknowledged some bad import style and removed some obsolete code.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9473
diff changeset
19
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
20
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
21 class AssistantJedi(QObject):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
22 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
23 Class implementing the Jedi assistant interface.
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
24 """
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
25
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
26 def __init__(self, ui, viewManager, project):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
27 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
28 Constructor
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
29
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
30 @param ui reference to the user interface object
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
31 @type UserInterface
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
32 @param viewManager reference to the viewmanager object
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
33 @type ViewManager
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
34 @param project reference to the project object
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
35 @type Project
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
36 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
37 super().__init__(ui)
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
38 self.__ui = ui
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
39 self.__vm = viewManager
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
40
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
41 self.__jediServer = None
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
42 self.__editors = []
8666
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
43 self.__menuActions = {}
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
44
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
45 self.__jediServer = JediServer(self.__vm, project, self.__ui)
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
46 self.__jediServer.activate()
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
47
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
48 self.__ui.preferencesChanged.connect(self.__preferencesChanged)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
49
8666
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
50 self.__initRefactoringMenu()
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
51
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
52 self.__vm.editorOpenedEd.connect(self.__editorOpened)
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
53 self.__vm.editorClosedEd.connect(self.__editorClosed)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
54
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
55 @pyqtSlot()
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
56 def __preferencesChanged(self):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
57 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
58 Private slot handling changes of the Disassembly viewer settings.
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
59 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
60 for editor in self.__editors:
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
61 self.__disconnectMouseClickHandler(editor)
10970
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
62 if not FileSystemUtilities.isRemoteFileName(editor.getFileName()):
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
63 self.__connectMouseClickHandler(editor)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
64
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
65 def __determineLanguage(self):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
66 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
67 Private method to determine the valid language strings.
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
68
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
69 @return list of valid language strings
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
70 @rtype list of str
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
71 """
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
72 return [
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
73 "Python3",
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
74 "MicroPython",
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
75 "Pygments|Python",
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
76 "Pygments|Python 2.x",
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
77 "Cython",
9387
ce743c468d09 Some minor corrections.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9221
diff changeset
78 "Pygments|Cython",
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
79 ]
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
80
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
81 def __editorOpened(self, editor):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
82 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
83 Private slot called, when a new editor was opened.
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
84
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
85 @param editor reference to the new editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
86 @type Editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
87 """
10970
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
88 if not FileSystemUtilities.isRemoteFileName(editor.getFileName()):
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
89 languages = self.__determineLanguage()
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
90
10970
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
91 if editor.getLanguage() in languages:
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
92 self.__connectEditor(editor)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
93
10970
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
94 editor.languageChanged.connect(self.__editorLanguageChanged)
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
95 self.__editors.append(editor)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
96
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
97 def __editorClosed(self, editor):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
98 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
99 Private slot called, when an editor was closed.
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
100
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
101 @param editor reference to the editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
102 @type Editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
103 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
104 if editor in self.__editors:
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
105 editor.languageChanged.disconnect(self.__editorLanguageChanged)
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
106 self.__disconnectEditor(editor)
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
107 self.__editors.remove(editor)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
108
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
109 def __editorLanguageChanged(self, language):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
110 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
111 Private slot to handle the language change of an editor.
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
112
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
113 @param language programming language of the editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
114 @type str
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
115 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
116 editor = self.sender()
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
117 languages = self.__determineLanguage()
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
118
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
119 self.__disconnectEditor(editor)
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
120 if language in languages:
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
121 self.__connectEditor(editor)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
122
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
123 def __connectEditor(self, editor):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
124 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
125 Private method to connect an editor.
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
126
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
127 @param editor reference to the editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
128 @type Editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
129 """
10970
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
130 if not FileSystemUtilities.isRemoteFileName(editor.getFileName()):
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
131 self.__setAutoCompletionHook(editor)
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
132 self.__setCalltipsHook(editor)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
133
10970
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
134 self.__connectMouseClickHandler(editor)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
135
10970
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
136 editor.registerMouseHoverHelpFunction(self.__jediServer.hoverHelp)
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
137
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
138 menu = editor.getMenu("Main")
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
139 if menu is not None:
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
140 checkAction = editor.getMenu("Checks").menuAction()
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
141 act = menu.insertMenu(checkAction, self.__menu)
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
142 self.__menuActions[editor] = [act]
2ad8a7d0867c Fixed some place in the Jedi interface related to eric-ide server editors and projects.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10704
diff changeset
143 editor.showMenu.connect(self.__editorShowMenu)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
144
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
145 def __disconnectEditor(self, editor):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
146 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
147 Private method to disconnect an editor.
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
148
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
149 @param editor reference to the editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
150 @type Editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
151 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
152 self.__unsetAutoCompletionHook(editor)
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
153 self.__unsetCalltipsHook(editor)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
154
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
155 self.__disconnectMouseClickHandler(editor)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
156
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
157 editor.unregisterMouseHoverHelpFunction(self.__jediServer.hoverHelp)
10243
6a3b0acda958 jedi Interface
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10069
diff changeset
158 self.__jediServer.forgetEditor(editor)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
159
8666
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
160 with contextlib.suppress(TypeError):
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
161 editor.showMenu.disconnect(self.__editorShowMenu)
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
162 menu = editor.getMenu("Main")
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
163 if menu is not None and editor in self.__menuActions:
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
164 for act in self.__menuActions[editor]:
8949
bab82fd15a6b Implemented a workaround for an action disconnect issue.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8881
diff changeset
165 with contextlib.suppress(RuntimeError):
bab82fd15a6b Implemented a workaround for an action disconnect issue.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8881
diff changeset
166 menu.removeAction(act)
8666
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
167 del self.__menuActions[editor]
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
168
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
169 def __connectMouseClickHandler(self, editor):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
170 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
171 Private method to connect the mouse click handler to an editor.
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
172
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
173 @param editor reference to the editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
174 @type Editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
175 """
11000
f8371a2dd08f Corrected some code style and formatting issues.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10970
diff changeset
176 if Preferences.getJedi(
f8371a2dd08f Corrected some code style and formatting issues.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10970
diff changeset
177 "MouseClickGotoButton"
f8371a2dd08f Corrected some code style and formatting issues.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10970
diff changeset
178 ) and not FileSystemUtilities.isRemoteFileName(editor.getFileName()):
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
179 editor.setMouseClickHandler(
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
180 "jedi",
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
181 Preferences.getJedi("MouseClickGotoModifiers"),
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
182 Preferences.getJedi("MouseClickGotoButton"),
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
183 self.__jediServer.gotoDefinition,
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
184 )
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
185
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
186 def __disconnectMouseClickHandler(self, editor):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
187 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
188 Private method to disconnect the mouse click handler from an editor.
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
189
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
190 @param editor reference to the editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
191 @type Editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
192 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
193 editor.removeMouseClickHandlers("jedi")
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
194
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
195 def __setAutoCompletionHook(self, editor):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
196 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
197 Private method to set the autocompletion hook.
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
198
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
199 @param editor reference to the editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
200 @type Editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
201 """
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
202 editor.addCompletionListHook("jedi", self.__jediServer.requestCompletions, True)
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
203
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
204 def __unsetAutoCompletionHook(self, editor):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
205 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
206 Private method to unset the autocompletion hook.
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
207
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
208 @param editor reference to the editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
209 @type Editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
210 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
211 editor.removeCompletionListHook("jedi")
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
212
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
213 def __setCalltipsHook(self, editor):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
214 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
215 Private method to set the calltip hook.
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
216
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
217 @param editor reference to the editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
218 @type Editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
219 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
220 editor.addCallTipHook("jedi", self.__jediServer.getCallTips)
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
221
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
222 def __unsetCalltipsHook(self, editor):
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
223 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
224 Private method to unset the calltip hook.
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
225
8593
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
226 @param editor reference to the editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
227 @type Editor
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
228 """
1d66b6af60ed Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
229 editor.removeCallTipHook("jedi")
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
230
8666
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
231 def __initRefactoringMenu(self):
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
232 """
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
233 Private method to initialize the Refactoring menu.
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
234 """
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
235 self.__menu = QMenu(self.tr("Refactoring"))
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
236 self.__menu.addAction(
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
237 self.tr("Rename Variable"), self.__jediServer.refactoringRenameVariable
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
238 )
8668
d29c775b8bd7 Continued implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8666
diff changeset
239 self.__menu.addAction(
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
240 self.tr("Extract Variable"), self.__jediServer.refactoringExtractNewVariable
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
241 )
8668
d29c775b8bd7 Continued implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8666
diff changeset
242 self.__menu.addAction(
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
243 self.tr("Inline Variable"), self.__jediServer.refactoringInlineVariable
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
244 )
8669
c26ecdb00a8b Finished implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8668
diff changeset
245 self.__menu.addSeparator()
c26ecdb00a8b Finished implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8668
diff changeset
246 self.__menu.addAction(
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
247 self.tr("Extract Function"), self.__jediServer.refactoringExtractFunction
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
248 )
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
249
10683
779cda568acb Changed the source code and the source code documentation to improve the indication of unused method/function arguments.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10439
diff changeset
250 def __editorShowMenu(self, menuName, _menu, editor):
8666
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
251 """
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
252 Private slot called, when the the editor context menu or a submenu is
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
253 about to be shown.
9221
bf71ee032bb4 Reformatted the source code using the 'Black' utility.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 9214
diff changeset
254
8666
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
255 @param menuName name of the menu to be shown
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
256 @type str
10683
779cda568acb Changed the source code and the source code documentation to improve the indication of unused method/function arguments.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10439
diff changeset
257 @param _menu reference to the menu (unused)
8666
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
258 @type QMenu
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
259 @param editor reference to the editor
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
260 @type Editor
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
261 """
3a62b4009df9 Started implementing the Jedi refactoring interface.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 8593
diff changeset
262 if menuName == "Main":
10587
670f234271d8 Made some fine tuning.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10439
diff changeset
263 self.__menu.setEnabled(
670f234271d8 Made some fine tuning.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10439
diff changeset
264 not FileSystemUtilities.isRemoteFileName(editor.getFileName())
670f234271d8 Made some fine tuning.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10439
diff changeset
265 and editor.hasSelectedText()
670f234271d8 Made some fine tuning.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 10439
diff changeset
266 )

eric ide

mercurial