--- a/src/eric7/QScintilla/Shell.py Mon Jun 10 10:22:23 2024 +0200 +++ b/src/eric7/QScintilla/Shell.py Mon Jun 10 11:41:34 2024 +0200 @@ -395,7 +395,7 @@ """ self.lmenu.clear() venvManager = ericApp().getObject("VirtualEnvManager") - for venvName in sorted(venvManager.getVirtualenvNames()): + for venvName in sorted(venvManager.getVirtualenvNames(noServer=True)): act = self.lmenu.addAction(venvName) act.setData(venvName) if self.__project and self.__project.isOpen(): @@ -404,6 +404,13 @@ act.setData("<<project>>") if ericApp().getObject("EricServer").isServerConnected(): self.lmenu.addSeparator() + for venvName in sorted( + venvManager.getEricServerEnvironmentNames( + ericApp().getObject("EricServer").getHostName() + ) + ): + act = self.lmenu.addAction(venvName) + act.setData(f"<<eric-server>>:{venvName}") act = self.lmenu.addAction(self.tr("eric-ide Server")) act.setData("<<eric-server>>") @@ -2191,6 +2198,9 @@ ) elif venvName == "<<eric-server>>": self.dbs.startClient(False, startRemote=True) + elif venvName.startswith("<<eric-server>>:"): + venvName = venvName.split(":", 1)[1] + self.dbs.startClient(False, venvName=venvName, startRemote=True) else: self.dbs.startClient(False, venvName=venvName) self.__getBanner()