eric5-editor.py

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

eric ide

mercurial