editor

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

Copy some text, then on official demo, select all content (ctrl A + ctrl A) and try to paste. Nothing happens.

This is a minor bug, because a quick workaround is to delete the text prior to paste the content of the clipboard.

Steps to reproduce:

1. Copy some text
2. Go to https://editorjs.io
3. Select all content, by typing ctrl A + ctrl A
4. Try to paste

Device, Browser, OS: Macboo

Feature Description:

The onVisibilityChanged event can be removed safely (deprecated for some time) as there are no references.

https://github.com/eclipse-theia/theia/blob/d149f5166063412e40350b6cad16104175d6fa4f/packages/co

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