michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: document.getAnonymousElementByAttribute(this, "anonid", "clickCapturer"); michael@0: michael@0: michael@0: document.getAnonymousElementByAttribute(this, "anonid", "viewContainer"); michael@0: michael@0: michael@0: document.getAnonymousElementByAttribute(this, "anonid", "mainViewContainer"); michael@0: michael@0: michael@0: document.getAnonymousElementByAttribute(this, "anonid", "subViews"); michael@0: michael@0: michael@0: document.getAnonymousElementByAttribute(this, "anonid", "viewStack"); michael@0: michael@0: michael@0: this.parentNode; michael@0: michael@0: michael@0: null michael@0: null michael@0: 0 michael@0: null michael@0: false michael@0: false michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: return this._ignoreMutations; michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: return this.__transitioning; michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: 0) { michael@0: elementCS = win.getComputedStyle(element); michael@0: } michael@0: } michael@0: if (elementCS) { michael@0: // Include margins - but not borders or paddings because they michael@0: // were dealt with above. michael@0: height += parseFloat(elementCS.marginTop) + parseFloat(elementCS.marginBottom); michael@0: } michael@0: return height; michael@0: } michael@0: let win = aSubview.ownerDocument.defaultView; michael@0: let body = aSubview.querySelector(".panel-subview-body"); michael@0: let height = getFullHeight(body || aSubview); michael@0: if (body) { michael@0: let header = aSubview.querySelector(".panel-subview-header"); michael@0: let footer = aSubview.querySelector(".panel-subview-footer"); michael@0: height += (header ? getFullHeight(header) : 0) + michael@0: (footer ? getFullHeight(footer) : 0); michael@0: } michael@0: if (aContainerToCheck) { michael@0: let containerCS = win.getComputedStyle(aContainerToCheck); michael@0: height += parseFloat(containerCS.paddingTop) + parseFloat(containerCS.paddingBottom); michael@0: } michael@0: return Math.round(height); michael@0: ]]> michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: