menu
Channels
Team
Posts
Members
Info

Changing UI of Core Widgets

I want to customize the UI of the "Preferences" widget to make it easier to navigate, but I have a hard time figuring it out from the existing code. Is it possible to do this? Do I change the require("@theia/preferences/lib/browser/preference-frontend-module") in…

thumbsup
0
message-simple
0

Enhancing plugin APIs

Hi, I would like to implement a service in an Extension and expose that service through the plugin API to other plugins. Please guide me regarding this.

thumbsup
0
message-simple
3

cpp extension with clangd

I tried using clangd 8 along with cpp extension. it works fine. But, I created a C file (not C++ file) with void main() method, clangd complains that return type of main() function should be int and not void. I would like to be able to add & implement "void main()" method. How…

thumbsup
0
message-simple
17

move from Spectrum to another community platform?

Let's consider moving to another platform? UX of Spectrum is terrible right now. I like though following features which would be good to preserve: no-login to read message, GitHub login to write, should be indexed and searchable by Google. There are only 2 which support it:…

thumbsup
4
message-simple
7

VS Code Extensions in a custom Docker image

Hello, I've built a custom docker image for theia based on ubuntu and using essentially the same build steps as the theiaide/theia image, plus some extra things like zsh and nvm. I'm currently trying to install some vscode extensions, and according to the wiki those need to go…

thumbsup
0
message-simple
2

Accessing an external rest service from a theia extension

Hello,In my extension i need to access an external rest service but this web service address may change for an opened workspace/folder. What will be the best way? Should i access it from frontend? Will cors be problem? Or should i a create proxy service in backend but i dont…

thumbsup
0
message-simple
1

Vue.js

Hi everyone! I'm currently trying to evaluate the use of Theia for a project because we need a UI that runs in the browser and that is very extensible. I'm already quite intrigued by Theia but a major problem I see for adoption is that we (15+ developers) only have experience…

thumbsup
0
message-simple
6

Theia @ EclipseCon

Hi all! a brief reminder, that the upcoming EclipseCon is going to be a great opportunity to meet with the Theia community in person. There are plenty of sessions around Theia in the main conference and there is also a one day summit that we do together with the Eclipse Che…

thumbsup
3
message-simple
0

Live Share integration

It would be very interesting to have VS Code's Live Share plugin work with Theia. I have followed steps here: https://github.com/theia-ide/theia/wiki/Testing-VS-Code-extensions It's not working right now, though some of the menus appears to be registered in the left pane. Is…

thumbsup
1
message-simple
4