--- a/src/eric7/VirtualEnv/VirtualenvMeta.py Tue May 13 16:46:34 2025 +0200 +++ b/src/eric7/VirtualEnv/VirtualenvMeta.py Wed May 14 18:18:06 2025 +0200 @@ -24,6 +24,7 @@ exec_path: str = "" # string to be prefixed to the PATH environment setting description: str = "" # description of the environment eric_server: str = "" # server name the environment belongs to + available: bool = True # flag indicating an available virtual environment meta_version: int = 2 # version number of the meta data structure def as_dict(self): @@ -65,4 +66,5 @@ exec_path=data.get("exec_path", ""), description=data.get("description", ""), eric_server=data.get("eric_server", ""), + available=data.get("available", True), )