Automatic scrolling to highlighted item in explorer

[kawaragi-momoka]

Bug Description:

When I select an item which is towards the top of the explorer, and then scroll down, eventually after a few seconds Theia will automatically scroll up to the selected item.

Steps to Reproduce:

1. Open project containing enough items to make the explorer scrollable
2. Select an item towards the top of the explorer
3. Scroll down

Additional Information

Changing settings such as "editor.stickyScroll.scrollWithEditor" or "explorer.autoReveal" and setting them to false does not affect the behaviour. Nor does setting "explorer.autoReveal" to "focusNoScroll" (in fact this setting does not seem to be supported).

• Operating System: Windows 10
• Theia Version: 1.52.0

[msujew]

I believe this is a duplicate of #13461? cc @tsmaeder should we reopen the other issue?

[tsmaeder]

I don't think it's the same issue: that other one had to do with updating the tree (e.g. expanding a node), whereas this one does not.

[tsmaeder]

if you wait 5 seconds after selecting an item, the scroll-back does not happen.

[kawaragi-momoka]

@tsmaeder is there no way to get around this other than waiting for 5 seconds?

[tsmaeder]

@kawaragi-momoka I don't know, I just wanted to record the behavior as a pointer for whoever eventually addresses the issue.