Failed to start the frontend application
I have been working on a custom extension for Theia that was deploying sucessfully, but, suddenly, i got this error on browser console: And i haven't been able to deploy my extension again. This is my package.json for the extension: This is my package.json for the browser-app: …
Using vscode:extension/MS-SarifVSCode.sarif-viewer in local docker fails
Hi I want to test vscode:extension/MS-SarifVSCode.sarif-viewer in a local docker instance of Theia. It's working on gitpod and VSCode but for Theia it says "server adress could not be found" for a webview. Might this be related to me not accessing theia over https?
What happens to 'amend last commit' button after move to git vscode extensions?
Currently when using the vs-code extension for git, there is no 'Amend' button in the SCM view. I was wondering what the intentions are here. Do you want to keep suppport for the 'Amend' button, or is everyone happy to lose it, or should it not be there by default but allow…
How to enable duplication of theia widgets
Now there are several widgets in theia like explorer, outline, output, problem, terminal, git, etc. Let's consider the output widget example here. It's not visible by default(On load), but can be opened on the bottom panel area by clicking on View menu-> Output submenu. Now,…
How to rename theia widgets via context-menu?
Right-clicking a theia widget gives us 4 options- Close, Close others, Close others to the right, Close All. I want to add another option in the context-menu for renaming the widget and persisting with the new name for that particular widget instance. Code snippets appreciated.
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…
How to display a website in a theia tab from an extension ?
Hi, I'm just starting with Theia and just want to experiment / develop simple extensions to better understand how it works. So sorry for the newbies question: I would like to display in a new tab a external website (For instance I would like to display google homepage in a new…
How can i use webview in the Theia extension? I am new, please help.
It seems that we can use theia.window and theia.WebviewPanel in the Theia plugin, but in the extension how can i use WebviewPanel? Can i import * as theia from '@theia/extension'; or somehow? Please somebody help, thank you.