Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Smarter padding around thumbnails #126

Closed
lwouis opened this issue Jan 23, 2020 · 0 comments
Closed

Smarter padding around thumbnails #126

lwouis opened this issue Jan 23, 2020 · 0 comments
Labels
enhancement New feature or request

Comments

@lwouis
Copy link
Owner

lwouis commented Jan 23, 2020 •
edited
Loading

The built-in app-switcher doesn't change the background behind the text. The reason I changed it behind the text too for alt-tab is that windows are rectangles, so they hide the background. We could increase the padding to make the background more visible around, but then we have a less compact design.

I just realized today that the app-switcher has a trick to increase padding while still keeping the icons packed: the paddings overlap:

Screen Shot 2020-01-23 at 13 20 16
Screen Shot 2020-01-23 at 13 20 33
image

It would be interesting to implement that for alt-tab. It combines compact UI with clearer selection. It would make the Windows theme (with one borders) more tricky to implement though
@lwouis lwouis added enhancement New feature or request M size and removed M size labels Jan 23, 2020
lwouis added a commit that referenced this issue May 7, 2020
@lwouis
feat: smarter padding around thumbnails (closes #126)
6c91efc
@lwouis lwouis closed this as completed in a94582f May 7, 2020
lwouis pushed a commit that referenced this issue May 7, 2020
@semantic-release-bot
chore(release): 3.20.0 [skip ci]
2e9808d 
# [3.20.0](v3.19.2...v3.20.0) (2020-05-07)

### Bug Fixes

* thumbnails have a minimum width to help with tall windows ([a60750c](a60750c))

### Features

* smarter padding around thumbnails (closes [#126](#126)) ([a94582f](a94582f))
@lwouis lwouis mentioned this issue Aug 6, 2020
Closed
@lwouis lwouis mentioned this issue Nov 4, 2022
Closed
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lwouis