--- a/eric5-webbrowser.py Sat Sep 18 17:38:44 2010 +0200
+++ b/eric5-webbrowser.py Sat Sep 18 18:55:49 2010 +0200
@@ -30,6 +30,7 @@
sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
from Utilities import Startup
+import Utilities
def createMainWidget(argv):
"""