Adding sidebar features
Hey all, I'm new to Theia. I'm trying to implement the search and Github feature on the sidebar, but not entirely sure how to. I have set up the basics following, https://theia-ide.org/docs/composing_applications/ Any advice/general steps would be greatly appreciated.
Accessing monaco in Theia
I created a demo a while back which added various libraries and customised monaco for our use case. However we decided due to Theia being so feature rich we'd use Theia instead. However there are still some things that we'd like to carry over from the monaco demo, however we…
I want to prevent the IDE from opening new shells when restoring terminals in the UI. I want to know how to handle async events in the restoreState method, or if there is a way to prevent a widget from being restored even before based on some async test?
Backend plugins vs. frontend plugins
I am interested in the difference between a "frontend" theia plugin and a "backend" plugin. This question is about "plugins" only, it is clear for extensions. I browsed through the code a bit and my current conclusion is that the only difference is the logging, but that the two…