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