--- a/eric5-editor.py	Fri Dec 31 15:50:33 2010 +0100
+++ b/eric5-editor.py	Sat Jan 01 19:24:20 2011 +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"))
 
@@ -65,4 +65,4 @@
     sys.exit(res)
 
 if __name__ == '__main__':
-    main()
\ No newline at end of file
+    main()