UI/UserInterface.py

changeset 2154
e70eb95d57e5
parent 2137
5a9bdcb8c934
child 2155
b2aba7aeab3a
equal deleted inserted replaced
2147:82034e3c157e 2154:e70eb95d57e5
4385 default = os.path.join(os.path.dirname(executable), "doc") 4385 default = os.path.join(os.path.dirname(executable), "doc")
4386 else: 4386 else:
4387 default = "" 4387 default = ""
4388 pythonDocDir = Utilities.getEnvironmentEntry("PYTHON2DOCDIR", default) 4388 pythonDocDir = Utilities.getEnvironmentEntry("PYTHON2DOCDIR", default)
4389 else: 4389 else:
4390 pythonDocDir = Utilities.getEnvironmentEntry("PYTHON3DOCDIR", 4390 pythonDocDir = Utilities.getEnvironmentEntry("PYTHON2DOCDIR",
4391 '/usr/share/doc/packages/python/html/python-docs-html') 4391 '/usr/share/doc/packages/python/html/python-docs-html')
4392 if not pythonDocDir.startswith("http://") and \ 4392 if not pythonDocDir.startswith("http://") and \
4393 not pythonDocDir.startswith("https://"): 4393 not pythonDocDir.startswith("https://"):
4394 if pythonDocDir.startswith("file://"): 4394 if pythonDocDir.startswith("file://"):
4395 pythonDocDir = pythonDocDir[7:] 4395 pythonDocDir = pythonDocDir[7:]

eric ide

mercurial