-
Notifications
You must be signed in to change notification settings - Fork 2.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Scroll Bar Problems in Theia IDE #14586
Comments
Note: you can't reproduce this in Theia master. Turns out Theia IDE picked up an update of |
Fixes eclipse-theia#14586 Contributed on behalf of STMicroelectronics Signed-off-by: Thomas Mäder <t.s.maeder@gmail.com>
Fixes #14586 Contributed on behalf of STMicroelectronics Signed-off-by: Thomas Mäder <t.s.maeder@gmail.com>
Turns out the pinning does not work like this for adopters. |
Fixes eclipse-theia#14586 contributed on behalf of STMicroelectronics Signed-off-by: Thomas Mäder <t.s.maeder@gmail.com>
Since we can't fix this for adopters who build their own Theia-based products, I've sent the following message to the dev mailing list:
|
What we could do is to add a patch to However I think that many adopters are not even using |
I don't think that's a sustainable solution. When 1.5.7 comes out we'll have to update the patch and that ad infinitum? |
I agree, it's absolutely not a long term solution. The only "real" solutions are:
The suggestion of |
Bug Description:
In Theia IDE, tree views like the Explorer cannot be scrolled: there is an overlay covering 100% coming in when hovering over the the vertical scroll bar.
Steps to Reproduce:
Additional Information
Since we can't fix this for adopters who build their own Theia-based products, I've sent the following message to the dev mailing list for a work around:
The text was updated successfully, but these errors were encountered: