Lines Matching refs:windowSize
11489 var windowSize = Firebug.browser.getWindowSize();
11497 var scrollbarSize = !isIE && (scrollSize.width > windowSize.width) ? 17 : 0;
11500 var height = windowSize.height;
11504 chromeHeight = Math.min(chromeHeight, windowSize.height - scrollbarSize);
13848 var windowSize = Firebug.browser.getWindowSize();
13859 var freeHorizontalSpace = scrollPosition.left + windowSize.width - left - width -
13860 (!isIE && scrollSize.height > windowSize.height ? // is *vertical* scrollbar visible
13863 var freeVerticalSpace = scrollPosition.top + windowSize.height - top - height -
13864 (!isIE && scrollSize.width > windowSize.width ? // is *horizontal* scrollbar visible
13952 var windowSize = Firebug.browser.getWindowSize();
13959 if (box.top > scrollPosition.top + windowSize.height - offsetHeight ||
13960 box.left > scrollPosition.left + windowSize.width ||