/*!
- * Ext JS Library 3.0.3
+ * Ext JS Library 3.1.0
* Copyright(c) 2006-2009 Ext JS, LLC
* licensing@extjs.com
* http://www.extjs.com/license
titleEl = bodyEl.child('h3:first-child');
var doResize = function() {
- var windowHeight = Ext.getDoc().getViewSize().height;
+ var windowHeight = Ext.getDoc().getViewSize(false).height;
var footerHeight = footerEl.getHeight() + footerEl.getMargins().top,
titleElHeight = titleEl.getHeight() + titleEl.getMargins().top,