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

Different layout for buttons in the minimap #49

Closed
amivaleo opened this issue Jun 14, 2019 · 2 comments
Closed

Different layout for buttons in the minimap #49

amivaleo opened this issue Jun 14, 2019 · 2 comments
Labels
enhancement ideas to improve existing features

Comments

@amivaleo
Copy link
Contributor

Hi!

Look at this:

Schermata da 2019-06-14 10-47-56

If you like this gui, here is the file that I edited to make it look like in the screenshot:
minimap.zip

💪
@amivaleo amivaleo added the enhancement ideas to improve existing features label Jun 14, 2019
@maoschanz
Copy link
Owner

I like it but to be honest, it was here because the app didn't have scrollbars, and nowadays i just don't remove it because it would feel empty 😅

I will merge it later, i have to rewrite a few things (Glade has messed up with the hidden widgets for the future zoom)

@amivaleo
Copy link
Contributor Author

it was here because the app didn't have scrollbars
Oh, I see!

Ok then, you could even drop those buttons altogether and leave the preview + zoom buttons only. ;)

@maoschanz maoschanz mentioned this issue Jun 22, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement ideas to improve existing features
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@maoschanz @amivaleo