/*!
- * Ext JS Library 3.0.3
- * Copyright(c) 2006-2009 Ext JS, LLC
+ * Ext JS Library 3.2.0
+ * Copyright(c) 2006-2010 Ext JS, Inc.
* 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,