eric5-configure.py

changeset 723
49ef401db2ce
parent 97
c4086afea02b
child 791
9ec2ac20e54e
equal deleted inserted replaced
721:9dd401431fcc 723:49ef401db2ce
21 sys.argv.remove(arg) 21 sys.argv.remove(arg)
22 break 22 break
23 23
24 # make ThirdParty package available as a packages repository 24 # make ThirdParty package available as a packages repository
25 try: 25 try:
26 import pygments 26 import pygments # __IGNORE_WARNING__
27 except ImportError: 27 except ImportError:
28 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments")) 28 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
29 29
30 from Utilities import Startup 30 from Utilities import Startup
31 31

eric ide

mercurial