Trouble authoring a custom plugin!
First of all, I would like to congratulate and thank Theia's team for the incredible work they have done so far. I just discovered Theia, but personally, i think that the project is magnificent and opens the door to many possibilities in terms of IDE'S. Now, having that in mind,…
Hi there! My automation lab faced a need to create an IDE for a language that we've created, and we're quite confused about which framework we can use for it. Different parts of the team are creating different components - debugger, profiler, verifier, all in different languages…
Simple TreeWidget implementation example
Hi, I'm looking for a very simple example of a TreeWidget implementation, does anyone know a git repo that has one? I checked FileTreeWidget and OutlineViewWidget in theia repo but I'm don't understand how the content and labels are provided to the tree. I'm familiar to the…
How to debug a VS Code extension with Theia
Hello. Sorry, if that is an FAQ, but is there a write-up somewhere for best practices for how to figure out why a VS Code extension suddenly stopped working in Theia (vsix file dropped in the plugins folder)? Ideally, I could envision debugging to work like this: I have two VS…
Remove/unregister entire menu items along with their corresponding submenus.
Hi, Upon including the common theia packages in a project, the menu items that come up are 'FIle', 'Edit', 'Selection', 'View', 'Go', 'Terminal', 'Help' and they have submenus under them. For eg: New File, New Folder actions come up under the 'File' menu. Now, I can unregister…
Call plugin api method from extension
I would like to add a new webview tab in the editor area. Can anyone suggest a way to create webview and add it to editor view from an extension ? Should i use the plugin api theia.window.createWebViewPanel() ? A sample code would be very helpful. For example, if anyone can help…