Add path conversions from TiddlyWiki Classic

TiddlyWiki Classic converts local file URIs to various local native
formats. The same conversions are now performed by the TiddlyFox
adaptor for TW5.

core/modules/savers/tiddlyfox.js

@@ -19,13 +19,27 @@ TiddlyFoxSaver.prototype.save = function(text,method,callback) {
 	var messageBox = document.getElementById("tiddlyfox-message-box");
 	if(messageBox) {
 		// Get the pathname of this document
-		var pathname = document.location.pathname;
-		// Test for a Windows path of the form /x:/blah/blah
-		if(/^\/[A-Z]\:\//i.test(pathname)) {
-			// Remove the leading slash
-			pathname = pathname.substr(1);
-			// Convert slashes to backslashes
-			pathname = pathname.replace(/\//g,"\\");
+		var pathname = document.location.toString();
+		// Replace file://localhost/ with file:///
+		if(pathname.indexOf("file://localhost/") == 0) {
+			pathname = "file://" + pathname.substr(16);
+		}
+		// Windows path file:///x:/blah/blah --> x:\blah\blah
+		if(/^file\:\/\/\/[A-Z]\:\//i.test(pathname)) {
+			// Remove the leading slash and convert slashes to backslashes
+			pathname = pathname.substr(8).replace(/\//g,"\\");
+		// Firefox Windows network path file://///server/share/blah/blah --> //server/share/blah/blah
+		} else if(pathname.indexOf("file://///") === 0) {
+			pathname = "\\\\" + unescape(pathname.substr(10)).replace(/\//g,"\\");
+		// Mac/Unix local path file:///path/path --> /path/path
+		} else if(pathname.indexOf("file:///") == 0) {
+			pathname = unescape(pathname.substr(7));
+		// Mac/Unix local path file:/path/path --> /path/path
+		} else if(pathname.indexOf("file:/") == 0) {
+			pathname = unescape(pathname.substr(5));
+		// Otherwise Windows networth path file://server/share/path/path --> \\server\share\path\path
+		} else {
+			pathname = "\\\\" + unescape(pathname.substr(7)).replace(new RegExp("/","g"),"\\");
 		}
 		// Create the message element and put it in the message box
 		var message = document.createElement("div");