diff -r 1eaf6955acf5 -r 31e263d49c04 Plugins/PluginPipInterface.py --- 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): """