diff -r 000000000000 -r 6474c204b198 browser/components/customizableui/content/panelUI.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/browser/components/customizableui/content/panelUI.xml Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,432 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + document.getAnonymousElementByAttribute(this, "anonid", "clickCapturer"); + + + document.getAnonymousElementByAttribute(this, "anonid", "viewContainer"); + + + document.getAnonymousElementByAttribute(this, "anonid", "mainViewContainer"); + + + document.getAnonymousElementByAttribute(this, "anonid", "subViews"); + + + document.getAnonymousElementByAttribute(this, "anonid", "viewStack"); + + + this.parentNode; + + + null + null + 0 + null + false + false + + + + + + + + + return this._ignoreMutations; + + + + + + + return this.__transitioning; + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 0) { + elementCS = win.getComputedStyle(element); + } + } + if (elementCS) { + // Include margins - but not borders or paddings because they + // were dealt with above. + height += parseFloat(elementCS.marginTop) + parseFloat(elementCS.marginBottom); + } + return height; + } + let win = aSubview.ownerDocument.defaultView; + let body = aSubview.querySelector(".panel-subview-body"); + let height = getFullHeight(body || aSubview); + if (body) { + let header = aSubview.querySelector(".panel-subview-header"); + let footer = aSubview.querySelector(".panel-subview-footer"); + height += (header ? getFullHeight(header) : 0) + + (footer ? getFullHeight(footer) : 0); + } + if (aContainerToCheck) { + let containerCS = win.getComputedStyle(aContainerToCheck); + height += parseFloat(containerCS.paddingTop) + parseFloat(containerCS.paddingBottom); + } + return Math.round(height); + ]]> + + + + + + + + + + + + +