Implemented work-around hack to fix a maximizing bug in ExtJS