diff -r 2610329f5c15 -r 4bda1d24b8a7 eric5-webbrowser.py --- 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): """