editor

1. connect to a remote (ssh/codespaces)
2. upload a large file (mine was 1gb)
3. 🐛 progress

I'm making a client-side code editor with rudimentary Git support, and syntax highlighting for diff/patch files would be really nice - a way to view the whole diff in a single window (alternative to existing diffeditor - with similar colors to git diff console coloring), maybe would be useful for others too.

https://github.com/microsoft/monaco-languages/ asks to create issues in this repo...

Describe a bug.

1. No more-options button is shown on mobile devices :
   

2. When clicking on + button the tool set are going beyond toolbar
   

Steps to reprodu

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
   

Discussed in react-page/react-page#1087

The Terrain Brush can fill full tiles by holding Control. It is mentioned in the manual, but it would be nice if this feature was easier to discover. Also some people may want this mode to be the default, so that they don't have to hold Control all the time.

I'd suggest we add a toggle button, or two buttons to switch between, to the toolbar for the Terrain Brush. It should allow changing the c