Some simple utility plugins to ExtJS