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:…
Theia repo move to Eclipse Foundation has happened
Hi, Despite my best efforts to schedule a "managed" repo move, it did not happen that way. So the move is done but some GH applications have not been configured. In consequence, the CI will be unstable until the config is done, with "GitHub API rate limit' errors and inability…
Custom hidden files
Hey, I want to add certain files to be hidden in the file tree. In navigator-filter, inside toggleHiddenFiles, current . files are being shown/hidden on toggle hidden files click. I added the regex for the files that I want to hide, but nothing is getting hidden. …
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…
Side Panel Toolbar Interactions
Hey all, The interactions between the Side Panel Widgets and the View Menu seem a little odd compared to other IDEs. Currently clicking a widget name in the view menu will remove it from the side panel instead of focusing the widget. Is this UX intentional?
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…
Removing/Hiding Theia components
I would like to remove a number of Theia built-in components that are listed in theia's package.json , including the file search and SCM for example. However I noticed that the majority of those packages are dependencies of "plugin-ext", which I believe is required in order to…
Save workspace settings
Currently when I define a workspace (theme preference, files loaded, widget/window positions) it is saved in the browsers local file storage. I would like to save these settings and automatically load the workspace settings when opening the workspace path in the browser.…