menu
Channels
Team
Posts
Members
Info

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.

thumbsup
0
message-simple
4

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…

thumbsup
0
message-simple
21

async Widget.restoreState?

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?

thumbsup
0
message-simple
8

Setting editor text programmatically

I am wondering what would be the best way to modify the contents of an editor programatically (eg, like the way we invoke a snippet) in an extension

thumbsup
0
message-simple
7

How to include images in extensions

What's the correct way to add an image in an extension such that it is properly packaged for runtime?

thumbsup
0
message-simple
5

Getting a weird error in extension

thumbsup
0
message-simple
5

Any breaking changes made recently to Webview?

We noticed big regressions on webviews starting today. Are you guys aware of any possibly breaking changes to it?

thumbsup
0
message-simple
10

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…

thumbsup
0
message-simple
1

How can I hide a specific folder in the file explorer of theia?

How can I hide a specific folder in the file explorer of theia when IDE is loaded? I am looking for some configuration that would solve it.

thumbsup
0
message-simple
1

Finding the right Contributions to hook into

New to theia and followed the docs so now have a working local ide. I'm struggling a little to find what I think I need. I thought I'd outline what I'm trying to do and then ask some questions. Background …

thumbsup
1
message-simple
22