add: url = url.replace(/^\/\^/,"^"); 
context: function tinyMCE_WebGUI_URLConvertor(url, node, on_save) {	// Use default URL convertor, old 1.43 else 1.44+        if (typeof(TinyMCE_convertURL) != "undefined")        	url = TinyMCE_convertURL(url, node, on_save);        else                url = tinyMCE.convertURL(url, node, on_save);        // Do custom WebUI convertion, replace back ^();        url = url.replace(new RegExp("%5E", "g"), "^");        url = url.replace(new RegExp("%3B", "g"), ";");        url = url.replace(new RegExp("%28", "g"), "(");        url = url.replace(new RegExp("%29", "g"), ")");        return url;}
meta: 5314	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5314/55d73e193a323609772a8c608af5d1cef7a2b333/webgui.js/clean/www/extras/tinymce/jscripts/webgui.js