rem: file = 'file: 
add:  file = encodeURI('file: 
context: function installTheme(filePath) {  var file = '';  file = 'file:///' + escape(filePath.replace(/\\/g,'/'));  InstallTrigger.installChrome(InstallTrigger.SKIN, file, getName(file));}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5e7848db380e8ce2ebad479c6c7e9b171ee816dd/pref-themes.js/clean/mail/components/prefwindow/content/pref-themes.js