ide

This bug is blocked for the Hackathon, please do not fix

Bug Description:

.theia-breadcrumbs defines two properties "margin", the first one does not have any effect and should be removed (see https://github.com/eclipse-theia/theia/blob/2352920342db3322907f392c3d480b6d11fbe44c/packages/core/src/browser/style/breadcrumbs.css#L31-L35)

Steps to Reproduce:

1. Adapt the first margi

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
   

Is your feature request related to a problem? Please describe.
Much like with packer:

Let's move the CI over to Github Actions!

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

Notice the height of each item in Xcode is 22px while in CodeEdit it is 28. We need to use a more compact item size to match. This will be useful in large projects. This should also be a setting so that the user could choose list item density across the app (will affect more than just the project navigator). The default should be compact.

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 :)