--- 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() + )