Gitpod: Mouse wheel scrolling in editor is too slow on Firefox / Windows

[spoenemann]

Describe the bug
Scrolling up / down with the mouse wheel is too slow in the editor. It's fine in other views such as the file explorer.

To Reproduce
Open Gitpod with Firefox on Windows, open an editor.

Expected behavior
Scrolling speed should be natural, i.e. roughly the same as for the browser-native scrollbars.

[geropl]

:sweat_smile: Created the same issue yesterday on theia repo: https://github.com/eclipse-theia/theia/issues/6390

It's basically solved, we _just_ need to update Theia and Gitpod

[svenefftinge]

In production now

[geropl]

Sadly not, scrolling is still slow - and the issues upstream are open, too.

[randomir]

Any update on when will this fix be deployed to GitPod?

FWIW, it's affecting Firefox on Linux, not just Windows.

[akosyakov]

I don't think it was fixed, Theia needs new Monaco and update only was planned.

[Kartikkman]

@svenefftinge Hi thanks for Awesome product , but we are facing scroll issue , Can you fix it ? It makes hard to scroll through Code !!

[svenefftinge]

We are deploying the fix to this tomorrow.

[Kreyren]

FWIW I also found it annoying, but it seemed to me as intended design so i solved it by using:

"editor.mouseWheelScrollSensitivity": 10,

[svenefftinge]

This has been fixed and deployed to production.