Preferences/Setting scroll issue

[safisa]

Bug Description:

Hi,
In the latest Theia build 1.53, there is an issue when opening an extension setting with an inner setting folders/categories like Redhat java extension (Language support for java) or the CSS Language Features. When going to the settings of this extension, and trying to scroll on the right side view (settings properties), the left side tree view collapses all the extensions node and moves the focus to the node before --> bad UX.

Steps to Reproduce:

1. see there attached recording

Additional Information

Screen.Recording.2024-09-12.at.10.50.53.mov

• Operating System: Mac
• Theia Version: Theia 1.53

[tsmaeder]

Yeah, this is quite annoying: added it to the Theia IDE epic.

[msujew]

Will be fixed by #14170.