Fix due to changes in ExtJS 4.2.x event handling