src/eric7/QScintilla/Shell.py

branch
server
changeset 10766
d35d6f96c24b
parent 10704
27d21e5163b8
child 10985
91243eb0390d
--- 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()

eric ide

mercurial