Preferences/ConfigurationDialog.py

changeset 6370
0c2dca290df5
parent 6346
92ed63434dce
child 6381
37f23590dbbc
--- a/Preferences/ConfigurationDialog.py	Tue Jun 26 18:36:50 2018 +0200
+++ b/Preferences/ConfigurationDialog.py	Tue Jun 26 18:38:04 2018 +0200
@@ -123,6 +123,13 @@
             except KeyError:
                 self.pluginManager = PluginManager(self)
                 e5App().registerObject("PluginManager", self.pluginManager)
+            
+            from VirtualEnv.VirtualenvManager import VirtualenvManager
+            try:
+                self.virtualenvManager = e5App().getObject("VirtualEnvManager")
+            except KeyError:
+                self.virtualenvManager = VirtualenvManager(self)
+                e5App().registerObject("VirtualEnvManager", self.virtualenvManager)
         
         if displayMode == ConfigurationWidget.DefaultMode:
             self.configItems = {

eric ide

mercurial