From a3c31846b0ffcfb03cdb141263c28b18c681ef50 Mon Sep 17 00:00:00 2001
From: "mgalli%geckonnection.com" <mgalli%geckonnection.com>
Date: Fri, 21 Oct 2005 19:57:18 +0000
Subject: [PATCH] After preferences window close, sync UI as well, so zoom UI
 kicks. HAve to fix this because if Zoom was not changed, no need to do this.

---
 minimo/chrome/content/minimo.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/minimo/chrome/content/minimo.js b/minimo/chrome/content/minimo.js
index 76ad0d547786..0b61ae405597 100755
--- a/minimo/chrome/content/minimo.js
+++ b/minimo/chrome/content/minimo.js
@@ -550,6 +550,7 @@ function DoBrowserRSS() {
 function DoPanelPreferences() {
   window.openDialog("chrome://minimo/content/preferences/preferences.xul","preferences","modal,centerscreeen,chrome,resizable=no");
   BrowserReload(); 
+  syncUIZoom();
 }
 
 /*