Как перекомпилировать темы?

Вопросы и проблемы
#1

Подскажите как перекомпилировать темы?

https://docs.jmix.ru/jmix/1.5/ui/themes/custom_theme.html

Я что то в студии не нахожу вот этого элемента

image

image

#2

Вопрос снят.
Я нашел.

image