menu
Channels
Team
Posts
Members
Info

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?

thumbsup
0
message-simple
2

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…

thumbsup
0
message-simple
6

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

thumbsup
0
message-simple
4

a newbie here: how can I track/capture user iteraction?

Context: I have a dockerized theia container and I want to be able to track file modifications/opening and closing of a file etc. Could someone please point me to the right direction?

thumbsup
0
message-simple
6

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…

thumbsup
0
message-simple
2

Current state of metrics in Theia

There's been a longstanding issue open in Theia about metrics that doesn't look like it gained much traction and I wanted to bring it back into the light: https://github.com/theia-ide/theia/issues/1328 For context: I'm currently working on…

thumbsup
1
message-simple
33

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

thumbsup
0
message-simple
5

dropping native debug extensions

It seems that Microsoft made access to VS Code marketplace more strict and we cannot pull anonymously VS Code extensions anymore. Requests fail with Request was blocked due to exceeding usage of resource 'Count' in namespace 'AnonymousId'. It is required for our native debug…

thumbsup
1
message-simple
4

Update monaco?

Hi folks, in https://github.com/theia-ide/theia/issues/4569 @anton-kosyakov mentioned updating the monoco-editor we consume. Does it make sense to do this and how would one go about it?

thumbsup
0
message-simple
18

Formatter workflow?

I'm trying to use VSCode to edit Theia's source code, and I'm running into the following issue: Whenever I make a change to a file and save, the entire formatting of the file is changed, e.g. to a different indentation style. To avoid this, I unchecked "Editor: format on save"…

thumbsup
0
message-simple
18