menu

Theia

Eclipse Theia - Cloud & Desktop IDE

Channels
Team
Posts
Chat
Members
Info
down-caret

Building theia.exe

I want tk build a executable file of theia I am using theia apps to this. How is this different from the electeon example that theia has and what does the electron example do and what does this do??

thumbsup
0
message-simple
14

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: …

thumbsup
0
message-simple
16

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?

thumbsup
0
message-simple
55

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…

thumbsup
0
message-simple
6

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,…

thumbsup
0
message-simple
2

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.

thumbsup
0
message-simple
3

Adding a language to theia

How do i add another language in theia. I want ti add the Unity C#

thumbsup
0
message-simple
4

Theia capabilities

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…

thumbsup
0
message-simple
10

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…

thumbsup
0
message-simple
5

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.

thumbsup
0
message-simple
2