Plugins/PluginPipInterface.py

changeset 6735
31e263d49c04
parent 6645
ad476851d7e0
child 6744
f5249a9927c9
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):
         """

eric ide

mercurial