add: syncUIZoom(); 
context: function DoPanelPreferences() {  window.openDialog("chrome://minimo/content/preferences/preferences.xul","preferences","modal,centerscreeen,chrome,resizable=no");  BrowserReload(); }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/a3c31846b0ffcfb03cdb141263c28b18c681ef50/minimo.js/buggy/minimo/chrome/content/minimo.js