--- a/eric5_configure.py Fri Sep 09 12:00:59 2011 +0200 +++ b/eric5_configure.py Fri Sep 09 12:29:45 2011 +0200 @@ -23,7 +23,7 @@ # make ThirdParty package available as a packages repository try: - import pygments # __IGNORE_WARNING__ + import pygments # __IGNORE_EXCEPTION__ __IGNORE_WARNING__ except ImportError: sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))