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

Scrollbar hidden behind bottom and top bar #21

Open
lukovdm opened this issue Nov 3, 2023 · 0 comments
Open

Scrollbar hidden behind bottom and top bar #21

lukovdm opened this issue Nov 3, 2023 · 0 comments

Comments

@lukovdm
Copy link

lukovdm commented Nov 3, 2023

Whenever I have to debug a program failing at some point without an error, I like to scroll to the bottom of the goal list, to see what the last goal it attempted was. However, the scrollbar starts hidden behind the top and bottom bar, the navigation history bar and the goal filter bar. In the picture below I scrolled up a bit from the bottom such that you can see where the scroll bar is.
image
To scroll quickly I drag the scroll bar to the bottom but I can't as long it is hidden. Thus I have to scroll manually till I see the scroll bar. When I have a lot of goals that sometimes takes a bit.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant