Stack Overflow
Stack Overflow

Questions tagged [theia]

More information about Eclipse Theia:

56 questions
2
votes
1 answer

How to Execute Commands on Browser-based terminal IDE from a Markdown or Instructions manual

I am looking to do a cool project like Killercoda for a kids learning group where I expose VMs via browser access using terminal access such as code-server IDE or theia IDE (which killercoda uses). I am able to spin up the VMS using kubernetes pods…
sam hassan
  • 197
  • 3
  • 14
2
votes
0 answers

Cannot use namespace 'JSX' as a value.ts(2708)

I am working on a theia glsp project using TypeScript and I'm trying to add a panel to my view, Anyway, I try to render some JSX such as React.Fragment or JsonForms but I keep getting those tags underlined with this error: Cannot use namespace 'JSX'…
Adem kriouane
  • 381
  • 20
2
votes
1 answer

RequestError: getaddrinfo ENOTFOUND github.com

am trying to launch a theia extension using yeoman from the PowerShell but I think am facing a Proxy issue as I am using my company's network yo theia-extension results in by the way I have defined this git config --global…
Adem kriouane
  • 381
  • 20
2
votes
2 answers

Hotkey to automatically indent and format code in Eclipse Theia

Is there a hotkey to automatically set indentation and format code in Eclipse Theia? I tried the hot keys of Eclipse (Ctrl + Shift + F) and VS Code (Alt + Shift + F), but neither of these work. In case it helps, I am writing code in Rust.
Yoann F
  • 96
  • 5
2
votes
2 answers

Can't find "hosted" mode in Theia

I built the IDE with instructions in https://www.theia-ide.org/doc/Composing_Applications.html and it worked. Then I followed the instructions given in https://www.theia-ide.org/doc/Authoring_Plugins.html. I was able to build one of the Sample…
Dildar Marhas
  • 21
  • 2
2
votes
0 answers

Anyone have experience using Sprotty with Theia?

I have successfully created my LSP using Xtext and have integrated it with Theia. As for the archived repo, I was referring to the theia-ide/theia-sprotty-example: https://github.com/theia-ide/theia-sprotty-example The directory structure of my…
Amir Saad
  • 21
  • 2
1
vote
2 answers

Github Copilot in SAP Business Application Studio (BAS)

has anyone tried to set up Github Copilot in BAS? I cannot find it inside of the extensions list and the Github Copilot documentation nowhere mentions BAS/ Eclipse. As far as I understand BAS is based on Eclipse Theia and it has a VSCode look and…
Coding With Toms
  • 39
  • 7
1
vote
0 answers

Failed running "npm run prepare"

Trying to generate a theia-extension using "yo generate-extension" but am facing an error when arriving to this instruction which is among the script npm run prepare where it will launch the electron-app and the browser-app. here's the error $…
Adem kriouane
  • 381
  • 20
1
vote
0 answers

Error fetching extensions. getaddrinfo ENOTFOUND open-vsx.org

Trying to add an extension to Eclipse Theia Blueprint but I keep getting this error Error fetching extensions. getaddrinfo ENOTFOUND open-vsx.org
Adem kriouane
  • 381
  • 20
1
vote
1 answer

Error: Cannot find module '‘global-agent/bootstrap’'

I am trying to build theia project using yarn but am facing 2 issues. I cloned Theia repo but when building using yarn kriouana@TUN MINGW64 ~/Desktop/theia (master) $ yarn I got this error related to some file called INSTALL.JS error…
Adem kriouane
  • 381
  • 20
1
vote
1 answer

AgGridReact Error No overload matches this call onGridReady

can somebody please help me with this error? I am working on a data table with ag grid (https://www.ag-grid.com) in a react functional component. As I want to add a callback property (onGridReady()) I receive this error: Short error text Property…
Knut
  • 136
  • 2
  • 11
1
vote
1 answer

Can Google Cloud Shell Editor (Theia) have color themes configured per workspace?

I like having a color theme configured per workspace in VS Code to give me an immediate indication of the project. I cannot seem to find a way to do this in the Cloud Shell Editor, Theia. The option to set the Color Theme appears to be global; is…
Neil C. Obremski
  • 18,696
  • 24
  • 83
  • 112
1
vote
0 answers

Inject and injectable in ts

I don't know much of OOPS pattern. I have previously worked in react and never came to a point where Dependency injection and inversion are required (or anyone using it). I was going through Theia Ide extension docs and was having tough time…
Diza Moa
  • 61
  • 4
1
vote
0 answers

Is there an alternative to Chrome Developer Tools for Chromebooks that have it disabled?

I run an after-school coding club for kids who are learning to build their own projects using HTML, CSS, and Javasccript. We are using a browser-based IDE called theia. A large number of those kids are using school-issued Chromebooks, which…
Ben Davis
  • 13,112
  • 10
  • 50
  • 65
1
vote
1 answer

Frontend Plugin for Eclipse Che doesn't start

I am trying to start a plugin using Hosted Instance but it doesn't seems to work. Errors doesn't seem to be much helpful. I am trying steps from here. https://www.eclipse.org/che/docs/che-7/contributor-guide/testing-che-theia-plug-ins/ Below is the…
Himanshu Sharma
  • 26
  • 5
1
2 3 4