ide

Feature Description:

Add InputBoxOptions#title, see https://code.visualstudio.com/api/references/vscode-api#InputBoxOptions

Note that MonacoQuickInputService#input actually just eats the input box option, so in order to imple

Please confirm that this problem is VSCodium-specific

• This bug doesn't happen if I use Microsoft's Visual Studio Code. It only happens in VSCodium.

Please confirm that the issue/resolution isn't already documented

• [ X ] I checked the Docs page and my issue is not mentioned there.

To Reproduce
Steps to reproduc

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!

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