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

Add spacing between preference tabs #1223

Closed
wants to merge 2 commits into from

Conversation

zacharee
Copy link
Contributor

This is a minor cosmetic change to make the preference tabs look a little nicer.

I also wanted to add some padding to the toolbar items themselves, but I can't figure that out (and it seems like macOS should be doing it anyway).

image

@lwouis
Copy link
Owner

lwouis commented Nov 13, 2021

I must confess, I'm not immediately convinced that this is an improvement. It feels like the design with extra margin is not standard. It's recommended nowhere on the HIG. It makes the app look different from other apps, and I don't see clearly the benefits. It also makes the code implementation have more code, and it could introduce layout regressions. We already have some layout issues:

Be careful as well that usually you should let standard components handle themselves, so they can adapt to the various relooking of macOS versions. By that I mean that your change may look broken in another version of macOS where the toolbars look fairly different.

Overall, I feel sorry but I don't see the benefits clearly, so I don't think I could merge this change

@zacharee
Copy link
Contributor Author

It's similar to the Xcode layout, although it looks like Xcode has fixed spacing between tabs and flexible spacing on the edges.

image

@lwouis
Copy link
Owner

lwouis commented Nov 13, 2021

I'm not sure. There is a lot of testing to do on the various macOS versions. Like how about this line here:

// toolbar breaks with the new default style on macOS 11; we force the classic style (see #914)

I have never properly tested AltTab on macOS 11 or 12 as I'm still on 10.15, so there are a lot I'm not fully aware of, like the new design direction of the OSes, compatibility, maybe changes in the way we should call the APIs, maybe new dark mode stuff, etc.

@zacharee
Copy link
Contributor Author

Maybe it would make sense to redo the toolbar entirely.

@lwouis
Copy link
Owner

lwouis commented Nov 13, 2021

Maybe it would make sense to redo the toolbar entirely.

What do you mean exactly? Do you mean rework the preferences overall, as in the scope of #351?

@zacharee
Copy link
Contributor Author

Maybe it would make sense to redo the toolbar entirely.

What do you mean exactly? Do you mean rework the preferences overall, as in the scope of #351?

It could probably be part of that.

@lwouis
Copy link
Owner

lwouis commented Apr 28, 2022

It's been a year without activity. I'm closing the PR 🙇

@lwouis lwouis closed this Apr 28, 2022
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

Successfully merging this pull request may close these issues.

2 participants