Misc ExtJS extensions.