[Pkg-mozext-commits] [firebug] 08/16: Issue 7717: Gray space on resize when UI is attached to the top

[David Prévot]

This is an automated email from the git hooks/post-receive script.

taffit pushed a commit to branch master
in repository firebug.

commit c95ab93b94cb851bfa74dc5c435dc32e1d9b9500
Author: Jan Odvarko <odvarko at gmail.com>
Date:   Tue Mar 17 16:19:05 2015 +0100

    Issue 7717: 	Gray space on resize when UI is attached to the top
---
 extension/content/firebug/chrome/chrome.js | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/extension/content/firebug/chrome/chrome.js b/extension/content/firebug/chrome/chrome.js
index 0463e73..1f9963a 100644
--- a/extension/content/firebug/chrome/chrome.js
+++ b/extension/content/firebug/chrome/chrome.js
@@ -499,9 +499,9 @@ var FirebugChrome =
 
         if (!this.inDetachedScope)
         {
-            Dom.collapse(Firefox.getElementById('fbMainFrame'), !shouldShow);
+            Dom.collapse(Firefox.getElementById("fbMainFrame"), !shouldShow);
 
-            var contentSplitter = Firefox.getElementById('fbContentSplitter');
+            var contentSplitter = Firefox.getElementById("fbContentSplitter");
             if (contentSplitter)
                 contentSplitter.setAttribute("collapsed", !shouldShow);
         }
@@ -1040,6 +1040,17 @@ var FirebugChrome =
         splitter.setAttribute("dir", after ? "" : "reverse");
         container.insertBefore(splitter, after ? null: container.firstChild);
 
+        // See: https://code.google.com/p/fbug/issues/detail?id=7717
+        // There is a new <notificationbox> element placed whihin
+        // the <appcontent> right before <tabbrowser>.
+        // If Firebug is positioned at the top, the splitter must
+        // change height of the tab-browser (which is using 'flex')
+        // not height of the <notificationbox>.
+        if (pos == "top")
+            splitter.setAttribute("resizeafter", "flex");
+        else
+            splitter.removeAttribute("resizeafter");
+
         var frame = document.getElementById("fbMainFrame");
 
         var newFrame = frame.cloneNode(true);

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-mozext/firebug.git