rem: document.getElementById("userExtensionsURL").value = "file:" + encodeURI(fp.file.path); 
add: document.getElementById("userExtensionsURL").value = FileUtils.fileURI(fp.file); 
context: function chooseUserExtensionsURL() {	var nsIFilePicker = Components.interfaces.nsIFilePicker;	var fp = Components.classes["@mozilla.org/filepicker;1"]	    .createInstance(nsIFilePicker);	fp.init(window, "Select user-extensions.js file", nsIFilePicker.modeOpen);	fp.appendFilters(nsIFilePicker.filterAll);	var res = fp.show();	if (res == nsIFilePicker.returnOK) {		document.getElementById("userExtensionsURL").value = "file:" + encodeURI(fp.file.path);	}}
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/67155761870bd75989206a0cfcfbe89f190b5bef/optionsDialog.js/buggy/src/content/optionsDialog.js