extjs利用Ext.EventManager.onWindowResize动态设立元素宽度和高度

//当窗口改变大小时动态修改grid宽度和高度
Ext.EventManager.onWindowResize(function(width ,height){
?//其他div占用的高度
?var h = Ext.fly('left_tools').getHeight()+Ext.fly('layout').getHeight();
?businessObjProGrid.setWidth(width);
?businessObjProGrid.setHeight(height-h);

})