--- a/src/eric7/VirtualEnv/VirtualenvMeta.py Tue May 21 19:31:50 2024 +0200 +++ b/src/eric7/VirtualEnv/VirtualenvMeta.py Tue May 21 19:35:41 2024 +0200 @@ -24,6 +24,8 @@ is_remote: bool = False # flag indicating a remotely accessed environment exec_path: str = "" # string to be prefixed to the PATH environment setting description: str = "" # description of the environment + is_eric_server: bool = False # flag indicating an eric IDE server environment + eric_server: str = "" # server name the environment belongs to def as_dict(self): """ @@ -53,4 +55,6 @@ is_remote=data.get("is_remote", False), exec_path=data.get("exec_path", ""), description=data.get("description", ""), + is_eric_server=data.get("is_eric_server", False), + eric_server=data.get("eric_server", ""), )