url.Replace(g_nativePathString, g_unixPathString);
url.Replace(wxT("%"), wxT("%25")); // '%'s must be replaced first!
url.Replace(wxT("#"), wxT("%23"));
+#ifndef __WXMSW__
+ // even though encoding the colon is (AFAICS) the right thing to do, we
+ // shouldn't do this under Windows because IE refuses to handle the
+ // resulting file:// URLs and Firefox and Opera (and probably all the other
+ // browsers as they need to be IE-compatible anyhow) open both the versions
+ // with ':' and "%3A", so leave the colon alone to keep IE happy
url.Replace(wxT(":"), wxT("%3A"));
+#endif // __WXMSW__
url = wxT("file:") + url;
return url;
}