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…
Better Error Messages in Theia
Is there a way to get more helpful error messages in Theia? Most of the ones I see when an extension throws an error is just a series of paths, so I can se where the exception is thrown, but I se no actual message to tell me what went wrong. When printing a caught error, the…
Terminal stays blank; several errors in logs
I'm running theia-full:latest and after not having used it for a while (the container was kept up to date by watchdog) I tried using it again today and noticed that when I try to open a terminal, the bottompane stays empty (with just a cursor). The logs show errors like…
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?
CI failing due to 'jdt-language-server-latest'
The build has been failing due to timeout (https://travis-ci.com/eclipse-theia/theia/jobs/261312176) due to the downloading of the jdt-language-server-latest which is taking a long time. Hopefully it is something that will be resolved before the release.