Theia: Slow scrolling in editors using mouse wheel [Firefox/Ubuntu]

Created on 15 Oct 2019  路  8Comments  路  Source: eclipse-theia/theia

Description

Scrolling using my mouse wheel is dead slow on Firefox/Ubuntu for a few weeks now. It used to work fine before. Interestingly the markdown preview works as expected.

Reproduction Steps

  • open any editor, scroll with mouse wheel -> observe slow scrolling
  • open a markdown preview, scroll with mouse wheel -> regular scrolling
    slow-scrolling

OS and Theia version:

  • OS: Linux Mint 19.1 Cinnamon (based on Ubuntu 18.04)
  • Theia: 0.12.0-next.2186ccb7 (on gitpod.io)

Diagnostics:
none

browsefirefox bug monaco

Most helpful comment

All 8 comments

@akosyakov Can we somehow support in getting this resolved? Or alternatively is there any workaround (patch, extra config) that we can apply to our Theia bundle?

Yes, someone should do what鈥檚 mentioned in my previous comment.

This is also happening on every windows machine I try it on. Please fix it!

Confirmed on Windows 10 with Firefox, makes working quite hard.

Tested on Ubuntu 18.04.1 LTS and Firefox 68.0.1 (64-bit) against https://github.com/eclipse-theia/theia/pull/7149
Looks like the issue will be fixed by upgrade of Monaco version:

scroll

Thanks Vincent!

Was this page helpful?
0 / 5 - 0 ratings