--- a/eric5.py	Mon Nov 15 19:54:38 2010 +0100
+++ b/eric5.py	Tue Nov 16 08:42:14 2010 +0100
@@ -44,7 +44,7 @@
 
 # make Third-Party 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"))