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: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/ad388012861270f8d226a761e80a8d6f36714ea5/pref-themes.js/buggy/mail/components/prefwindow/content/pref-themes.js