--- a/eric5_configure.py Mon May 20 11:36:02 2013 +0200 +++ b/eric5_configure.py Mon May 20 11:42:14 2013 +0200 @@ -22,10 +22,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