From f1a24a68edee0218b0229e2673e7997c230dd855 Mon Sep 17 00:00:00 2001
From: "mozilla.mano%sent.com"
 <mozilla.mano%sent.com@18797224-902f-48f8-a5cc-f745e15eee43>
Date: Thu, 24 Aug 2006 00:54:40 +0000
Subject: [PATCH] Bug 349343 - Tabs pane of preferences has mucho whitespace on
 Mac. r=mconnor.

git-svn-id: svn://10.0.0.236/trunk@208265 18797224-902f-48f8-a5cc-f745e15eee43
---
 mozilla/toolkit/content/widgets/preferences.xml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/mozilla/toolkit/content/widgets/preferences.xml b/mozilla/toolkit/content/widgets/preferences.xml
index 244e5a76689..2563ef1f760 100644
--- a/mozilla/toolkit/content/widgets/preferences.xml
+++ b/mozilla/toolkit/content/widgets/preferences.xml
@@ -734,6 +734,11 @@
               this._paneDeck.setAttribute("selectedIndex", i);
               
               if (this.type != "child") {
+                // Don't let the new pane content flex to the current window
+                // height if we're animating
+                if (this._shouldAnimate)
+                  aPaneElement.removeAttribute("flex");
+
                 var oldPane = this.lastSelected ? document.getElementById(this.lastSelected) : this.preferencePanes[0];
                 oldPane.selected = !(aPaneElement.selected = true);
                 if (!this._initialized || oldPane.id != aPaneElement.id) {