add: url = tinyMCE.convertURL(url, node, on_save); 
context: function tinyMCE_WebGUI_URLConvertor(url, node, on_save) {	// The next line would have tried formatting the URL, but we don't want it to        //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"), ")");	url = url.replace(/^\/\^/,"^");        return url;}
meta: 1948	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1948/104ee3653550c2935ac6610d0064c8f5030858ad/webgui.js/clean/www/extras/tinymce/jscripts/webgui.js