ACE Editor for ExtJS