Scrolling in Editor is Slow in Firefox

[tsmaeder]

When I scroll with the mouse wheel in the editor in Firefox, the scroll rate (the amount the editor content moves) is much lower in Firefox than in Chromium. The renders scrolling with the mouse-wheel useless.

Reproduction Steps

1. Run the browser example
2. Open any large file
3. Use the mouse scroll wheel to scroll
4. Observe: the content moves only a tiny amount, even when frantically scrolling.

OS and Theia version:
Windows 10, FF 72.0.2, master

This scrolling works fine in Electron and Chromium

[tsmaeder]

https://youtu.be/DKJ8fUkslhM

[vince-fugnitto]

Depends on #6223

It has been previously mentioned and it looks to be fixed in the newest monaco update.
Some additional information:

• upgrade to Monaco 0.18.1 #6223 (comment)
• upgrading to LSP 5.3.0 and Monaco 0.17.0 #5901 (comment)
• upgrading to LSP 5.3.0 and Monaco 0.17.0 #5901 (comment)

[tsmaeder]

Thanks, @vince-fugnitto I didn't find that searching for existing issues.

[vince-fugnitto]

Fixed thanks to #7149