Anton Kosyakov

copy code from the editor with syntax highlighting

2

if I try to copy the code from an editor and paste into keynotes it loses coloring.

Migrate to the latest Theia

2

It should be done by analogy with https://github.com/theia-ide/theia-extension-example

preview envs are flaky because of instable minio secret

2

### Bug description see https://gitpod.slack.com/archives/C032A46PWR0/p1680083142076439 ### Steps to reproduce see above ### Workspace affected _No response_ ### Expected behavior _No response_ ### Example repository _No response_ ### Anything else? _No...

Epic: Integrate public API's into supervisor

1

### Summary Migrate supervisor from Server to Public API. ### Context **Why we chose to migrate Supervisor to the new Public API?** In order to validate Public API we started...

[Remote-SSH Bug]: Error connecting to any remote: withRevealTerminalEvent can only be called once at a time globally within the app

2

### Is there an existing issue for this bug? - [X] I have searched the existing issues ### Required Troubleshooting Steps - [X] I have followed these troubleshooting steps -...

remotePlatform notification is sometimes shown unnecessarily

2

### Is there an existing issue for this bug? - [X] I have searched the existing issues ### Required Troubleshooting Steps - [X] I have followed these troubleshooting steps -...

VS Code devcontainer extension removes the devcontainer before running the rebuild. The Devcontainer CLI although works differently by applying options like `--remove-existing-container` only after `initializeCommand`. It could lead to the...