diff -r e03694226603 -r 9402d145020d UI/UserInterface.py
--- a/UI/UserInterface.py Sun May 16 18:47:30 2010 +0200
+++ b/UI/UserInterface.py Sun May 16 19:57:46 2010 +0200
@@ -4552,7 +4552,7 @@
"""
home = Utilities.normjoinpath(getConfig('ericDocDir'),
"Source", "index.html")
-
+
if not home.startswith("http://") and \
not home.startswith("https://"):
if not os.path.exists(home):
@@ -4563,7 +4563,10 @@
.format(home))
return
- home = "file://" + home
+ if Utilities.isWindowsPlatform():
+ home = "file:///" + Utilities.fromNativeSeparators(home)
+ else:
+ home = "file://" + home
hvType = Preferences.getHelp("HelpViewerType")
if hvType == 1:
