diff -r 37b3ec77f2c4 -r 56add695787e eric5_editor.py
--- a/eric5_editor.py Mon May 20 11:36:02 2013 +0200
+++ b/eric5_editor.py Mon May 20 11:42:14 2013 +0200
@@ -24,10 +24,7 @@
break
# make ThirdParty package available as a packages repository
-try:
- import pygments # __IGNORE_EXCEPTION__ __IGNORE_WARNING__
-except ImportError:
- sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
+sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
from Globals import AppInfo
