src/eric7/JediInterface/AssistantJedi.py

branch
server
changeset 10587
670f234271d8
parent 10439
21c28b0f9e41
child 10704
27d21e5163b8
equal deleted inserted replaced
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 )

eric ide

mercurial