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.

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

Set Scrollbarwidth to zero if no scrolling is necessary #199

Closed
rladstaetter opened this issue Jan 21, 2024 · 2 comments
Closed

Set Scrollbarwidth to zero if no scrolling is necessary #199

rladstaetter opened this issue Jan 21, 2024 · 2 comments
Labels
usability issues which improve LogoRRR's usability
Milestone

Comments

@rladstaetter
Copy link
Owner

As a user, I would prefer following:

To save screenspace, it would be convenient if the scrollbar width would be reduced to (almost?) zero if there is no need to scroll.

@rladstaetter
Copy link
Owner Author

Screenshot 2024-01-21 at 21 10 21

@rladstaetter rladstaetter added this to the 24.3.0 milestone Mar 10, 2024
@rladstaetter rladstaetter added the usability issues which improve LogoRRR's usability label Apr 30, 2024
@rladstaetter rladstaetter modified the milestones: 24.3.0, 24.4.0 Apr 30, 2024
@rladstaetter rladstaetter modified the milestones: 24.4.0, 24.5.0 May 27, 2024
@rladstaetter
Copy link
Owner Author

image

The image above shows how the graphical display now looks like - the available space is used better now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
usability issues which improve LogoRRR's usability
Projects
None yet
Development

When branches are created from issues, their pull requests are automatically linked.

1 participant