ide

Feature Description:

The application configuration option disallowReloadKeybinding is no longer used, and can be deprecated/removed:

https://github.com/eclipse-theia/theia/blob/08722fad0ecdd3259457c34db61b86c8da6b61c8/dev-pa

1. Select theme with thick strip in line number block.
2. Save and restart. Open some file. Нou see that the first characters of the lines are hidden under stripe.
3. Open another file. All display properly.
4. If you see carefully that the whole block with line numbers in the first case is shifted to the left.
   First file
   

Let's move the CI over to Github Actions!

Is your feature request related to a problem? Please describe.

Yes, the general prefences view is getting cluttered with preference options.

Describe the solution you'd like

We need to break them up into sections/tabs to keep a clean and consistent look.

Describe alternatives you've considered

N/A

Additional context

N/A

Describe the bug

Some devfiles have several commands that need to be executed in a precise order to succeed.
Some are named with prefixed numbers that help the user, but some others are not.

For instance:

• angular
• python-django

Che version

• latest
• nightly
• other: please spec

cc rust-lang/rls#1112
cc microsoft/language-server-protocol#376

This causes problems with displaying correct diagnostic span and code suggestion spans (here).

The app already includes a manifest.json - but it's lacking some details. Most notably:

• It has no Service Worker included, so Chrome etc. says "no"
• the app lacks any proper icons (although this also applies to favicons) - maybe some should be added :)

Is your feature request related to a problem? Please describe.
It's cumbersome to create the same step twice.

Describe the solution you'd like
Add a button to duplicate a step in the pipeline editor.

Ideas
We could combine this with some other ideas in a context menu (right click).

Credit to Serhii Ostapchuk for contributing this on Slack.