From 30620ac6418ac7cead213ba677ca30600eef3b7b Mon Sep 17 00:00:00 2001
From: Jack Jansen <jack.jansen@cwi.nl>
Date: Fri, 7 Jan 2005 12:50:12 +0000
Subject: Workaround for the fact that urllib2 doesn't default to "file:" urls.

---
 Mac/Tools/IDE/PackageManager.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Mac/Tools/IDE/PackageManager.py b/Mac/Tools/IDE/PackageManager.py
index 0041a17..76a184f 100755
--- a/Mac/Tools/IDE/PackageManager.py
+++ b/Mac/Tools/IDE/PackageManager.py
@@ -181,6 +181,8 @@ class PackageManagerMain(Wapplication.Application):
         filename = EasyDialogs.AskFileForOpen(typeList=("TEXT",))
         if filename:
             filename = urllib.pathname2url(filename)
+            if filename[:5] != 'file:':
+            	filename = 'file:' + filename
             self.opendoc(filename)
 
     def domenu_openURL(self, *args):
-- 
cgit v0.12