Я хочу отредактировать некоторые файлы языков программирования с помощью Theia, но список расширений по умолчанию не содержит их расширения language-server.
Мне это кажется невозможным, но я не уверен. Официальная документация о Google Cloud Shell не объясняет, как реализована их служба редактора на основе Theia.