--- a/Plugins/PluginPipInterface.py Wed Feb 13 18:51:15 2019 +0100 +++ b/Plugins/PluginPipInterface.py Wed Feb 13 18:59:31 2019 +0100 @@ -202,7 +202,7 @@ self.PreferencesKey + "/" + key, value) if key == "CurrentEnvironment": - self.currentEnvironmentChanged.emit(value) + self.currentEnvironmentChanged.emit(value) def getMenu(self, name): """