cloud-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

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

There are a bunch of things that have changed with type annotations in python 3.10 that we should move the api to. These changes primarily involve things like using list instead of typing.List and dict instead of typing.Dict.

We don't need to do this all at once. We can do one file or one module at a time.

https://docs.python.org/3/library/typing.html