Наверное он использует плагин с trial от самой sencha. Искал для этого плагина лекарство, но не нашёл. Не самая популярная вещь, конечно.
Я вот ещё в качестве IDE смотрел в сторону Webstorm, но вот видимо там последняя поддерживаемая версия ExtJS 4.2. Или опять же использовать платный плагин от Sencha.
Есть ещё какой-то плагин для Eclipse -- не понял как прикрутить...
|