src/eric7/JediInterface/AssistantJedi.py

branch
server
changeset 10587
670f234271d8
parent 10439
21c28b0f9e41
child 10704
27d21e5163b8
--- a/src/eric7/JediInterface/AssistantJedi.py	Sun Feb 18 17:31:34 2024 +0100
+++ b/src/eric7/JediInterface/AssistantJedi.py	Sun Feb 18 17:46:53 2024 +0100
@@ -13,6 +13,7 @@
 from PyQt6.QtWidgets import QMenu
 
 from eric7 import Preferences
+from eric7.SystemUtilities import FileSystemUtilities
 
 from .JediServer import JediServer
 
@@ -254,4 +255,7 @@
         @type Editor
         """
         if menuName == "Main":
-            self.__menu.setEnabled(editor.hasSelectedText())
+            self.__menu.setEnabled(
+                not FileSystemUtilities.isRemoteFileName(editor.getFileName())
+                and editor.hasSelectedText()
+            )

eric ide

mercurial