UI/UserInterface.py

changeset 2154
e70eb95d57e5
parent 2137
5a9bdcb8c934
child 2155
b2aba7aeab3a
--- a/UI/UserInterface.py	Mon Oct 15 20:04:14 2012 +0200
+++ b/UI/UserInterface.py	Sat Oct 20 17:27:09 2012 +0200
@@ -4387,7 +4387,7 @@
                     default = ""
                 pythonDocDir = Utilities.getEnvironmentEntry("PYTHON2DOCDIR", default)
             else:
-                pythonDocDir = Utilities.getEnvironmentEntry("PYTHON3DOCDIR",
+                pythonDocDir = Utilities.getEnvironmentEntry("PYTHON2DOCDIR",
                     '/usr/share/doc/packages/python/html/python-docs-html')
         if not pythonDocDir.startswith("http://") and \
            not pythonDocDir.startswith("https://"):

eric ide

mercurial