10586:1b365d69ccef | 10587:670f234271d8 |
---|---|
11 | 11 |
12 from PyQt6.QtCore import QObject, pyqtSlot | 12 from PyQt6.QtCore import QObject, pyqtSlot |
13 from PyQt6.QtWidgets import QMenu | 13 from PyQt6.QtWidgets import QMenu |
14 | 14 |
15 from eric7 import Preferences | 15 from eric7 import Preferences |
16 from eric7.SystemUtilities import FileSystemUtilities | |
16 | 17 |
17 from .JediServer import JediServer | 18 from .JediServer import JediServer |
18 | 19 |
19 | 20 |
20 class AssistantJedi(QObject): | 21 class AssistantJedi(QObject): |
252 @type QMenu | 253 @type QMenu |
253 @param editor reference to the editor | 254 @param editor reference to the editor |
254 @type Editor | 255 @type Editor |
255 """ | 256 """ |
256 if menuName == "Main": | 257 if menuName == "Main": |
257 self.__menu.setEnabled(editor.hasSelectedText()) | 258 self.__menu.setEnabled( |
259 not FileSystemUtilities.isRemoteFileName(editor.getFileName()) | |
260 and editor.hasSelectedText() | |
261 ) |