Thomas Mäder
Thomas Mäder
### Bug Description: The extension writes out an exception when the last editor is closed. There seem to be no negative consequences from the exception, though. ### Steps to Reproduce:...
### Bug Description: The Theia workspace contains a setting to turn on "format on save" for the workspace. This is problematic, since the formatter does not work as intended: if...
### Feature Description: Currently, we deploy back end and headless plugins the same way. This can lead to issues like https://github.com/eclipse-theia/theia/issues/13638. There are a couple of questions open for me:...
### Feature Description: Right now, we need to install the old python3 version 3.10 in order for our build to work due to https://github.com/nodejs/node-gyp/issues/2869. (removal of `distutils`). Updgrading to node-gyp...
### Feature Description: Currently, we wait for the initial "deployment" of plugins before the front end finishes initializing. This is not necessary, as we can handle the case where plugins...
### Bug Description: When I install a particular VS Code extension it does not show up as installed (even though it is uncompressed to the "deployedPlugins"-folder. ### Steps to Reproduce:...
### Feature Description: Upgrade Theia to compile with Typescript 5.4. No reason not to, if we can.
The very useful Gitlens extensions offers to "Connect to Github" in order to directly jump to the relevant PR on github from an editor hover. This simply does not work....
### Bug Description: The keytar library we use for OS keychain access has been archived for a while (https://github.com/atom/node-keytar) We should look for an alternative. ### Additional Information - Operating...
This epic collects improvements to enable the use of Theia blueprint for developing Theia itself. See also: #13192 ### Feature Description: #### Blockers - [ ] https://github.com/eclipse-theia/theia/issues/12742 #### Impediments -...