Skip to content
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.

Sign up for GitHub

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

Jump to bottom

[Linux] Overlay scrollbar obscures "pinned" icon #569

Closed
ptziegler opened this issue Sep 25, 2024 · 2 comments · Fixed by #592
Closed

[Linux] Overlay scrollbar obscures "pinned" icon #569

ptziegler opened this issue Sep 25, 2024 · 2 comments · Fixed by #592
Labels
bug

Comments

@ptziegler
Copy link
Contributor

I wonder if it makes sense to disable the overlay scrollbar by default...

image
@ptziegler ptziegler added the bug label Sep 25, 2024
@ptziegler
Copy link
Contributor Author

This effectively prevents pinning/unpinning of the drawer figures, unless you hit the one pixel that is not underneath the scrollbar.

@azoitl
Copy link
Contributor

azoitl commented Oct 14, 2024

Would make sense for me. Even if would break a bit the look and feel of the target platform. But overlay scrollbars are anyhow an usability nightmare.

ptziegler added a commit to ptziegler/gef-classic that referenced this issue Oct 15, 2024
@ptziegler
Make overlay scrolling configurable via the palette settings
15a7eea 
This adds a new checkbox to the settings dialog that allows the user to
replace the overlay scrollbar with the native scrollbar. Linux only, as
the overlay is not available on any other platforms.

Resolves eclipse#569
@ptziegler ptziegler mentioned this issue Oct 15, 2024
Merged
ptziegler added a commit to ptziegler/gef-classic that referenced this issue Oct 15, 2024
@ptziegler
Make overlay scrolling configurable via the palette settings
b18df33 
This adds a new checkbox to the settings dialog that allows the user to
replace the overlay scrollbar with the native scrollbar. Linux only, as
the overlay is not available on any other platforms.

Resolves eclipse#569
ptziegler added a commit to ptziegler/gef-classic that referenced this issue Oct 17, 2024
@ptziegler
Make overlay scrolling configurable via the palette settings
5177803 
This adds a new checkbox to the settings dialog that allows the user to
replace the overlay scrollbar with the native scrollbar. Linux only, as
the overlay is not available on any other platforms.

Resolves eclipse#569
ptziegler added a commit to ptziegler/gef-classic that referenced this issue Oct 17, 2024
@ptziegler
Make overlay scrolling configurable via the palette settings
1107a9e 
This adds a new checkbox to the settings dialog that allows the user to
replace the overlay scrollbar with the native scrollbar. Linux only, as
the overlay is not available on any other platforms.

Resolves eclipse#569
ptziegler added a commit to ptziegler/gef-classic that referenced this issue Oct 17, 2024
@ptziegler
Make overlay scrolling configurable via the palette settings
1f4082a 
This adds a new checkbox to the settings dialog that allows the user to
replace the overlay scrollbar with the native scrollbar. Linux only, as
the overlay is not available on any other platforms.

Resolves eclipse#569
ptziegler added a commit to ptziegler/gef-classic that referenced this issue Oct 17, 2024
@ptziegler
Make overlay scrolling configurable via the palette settings
1285de6 
This adds a new checkbox to the settings dialog that allows the user to
replace the overlay scrollbar with the native scrollbar. Linux only, as
the overlay is not available on any other platforms.

Resolves eclipse#569
@azoitl azoitl closed this as completed in b4d3dcf Oct 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Make overlay scrolling configurable via the palette settings ptziegler/gef-classic
2 participants
@azoitl @ptziegler