diff -r dee6e106b4d3 -r 15e30f0c76a8 src/eric7/VirtualEnv/VirtualenvManager.py --- a/src/eric7/VirtualEnv/VirtualenvManager.py Mon Feb 24 15:11:18 2025 +0100 +++ b/src/eric7/VirtualEnv/VirtualenvManager.py Mon Feb 24 15:43:49 2025 +0100 @@ -71,7 +71,7 @@ ) venvString = Preferences.getSettings().value( - "PyVenv/VirtualEnvironments", "{}" # __IGNORE_WARNING_M613__ + "PyVenv/VirtualEnvironments", "{}" # __IGNORE_WARNING_M-613__ ) environments = json.loads(venvString)