Sat, 18 Sep 2010 18:52:57 +0200
Fixed an issue in the web browser start script.
--- a/eric5-webbrowser.py Sun Sep 12 19:08:49 2010 +0200 +++ b/eric5-webbrowser.py Sat Sep 18 18:52:57 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): """