Я пытаюсь добавить новый плагин API, который может быть использован плагинами.Пожалуйста, обратитесь к проекту: https://github.com/cherxp/my-theia
1-й шаг: добавлен API theia.myServer к theia / plugin и theia / plugin-ext Используется, что api в плагине my-plugins / theia-hello-world-plugin.Работает нормально!
2-й шаг: добавлено новое определение API myServerNew в: packages / test-service реализация: packages / test-service-ext Попытка использовать этот API в плагине my-plugins / newplugin.Это не похоже на работу.:-( Не могли бы вы рассмотреть и помочь. Заранее спасибо.