From ae278a375c1c0c482a3ac38acf87c584151314f0 Mon Sep 17 00:00:00 2001
From: Jack Jansen <jack.jansen@cwi.nl>
Date: Fri, 7 Jan 2005 12:57:08 +0000
Subject: [PATCH] Backport of 1.20: 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 ee6355bbd20f..8d2ef0494115 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):
-- 
2.47.3