diff -r 9dd401431fcc -r 49ef401db2ce eric5-webbrowser.py --- a/eric5-webbrowser.py Mon Nov 15 19:54:38 2010 +0100 +++ b/eric5-webbrowser.py Tue Nov 16 08:42:14 2010 +0100 @@ -25,7 +25,7 @@ # make ThirdParty package available as a packages repository try: - import pygments + import pygments # __IGNORE_WARNING__ except ImportError: sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))