Я бы хотел установить плагин VScode в Theia. Это работает, когда я устанавливаю, указав...
Я внес некоторые локальные изменения в пакет, который я хочу установить с помощью Yarn. Когда я...
Я пытаюсь добавить новый плагин API, который может быть использован плагинами.Пожалуйста,...
Мне нужно настроить среду theia на Docker (контейнер ubuntu 18.04).Во время установки с...
Я использую GDB для подключения к удаленному серверу GDB (OpenOCD, ARM).Программа на цели...
Я создаю расширение theia, которое будет иметь реализации внешнего и внутреннего интерфейсов. Я...
Я запускаю контейнер док-станции theia за контейнером прокси-сервера nginx (jwilder/nginx-proxy)....
Я собрал IDE с инструкциями в https://www.theia -ide.org / doc / Composing_Applications.html , и...
Есть ли пример того, как добавить систему поиска ссылок? Средство поиска ссылок выбирает вам ссылки...
Как вы работаете как root в веб-терминале Theia? Просто хочу обновить golang - еще один способ -...
Как создать плагин (не расширение) для Che-theia (Theia интегрирована в Che) или Theia standalone?
Я клонировал Theia и внес некоторые изменения, и я хотел бы предоставить патч для конкретной версии...
изображение eclipse / che-theia основано на определенной версии Theia.Как включить изменения в...
При сборке eclipse/che-theia docker image https://github
https://github.com/eclipse/che, Восходящий Che 7 мог использовать Theia в качестве редактора по...
Я мог бы построить кодовую базу согласно упомянутым инструкциям https://github
Я пытаюсь создать PoC, используя theia. Проходя через https://github