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

Round corners of workspaces in multitasking view #1734

Merged
merged 10 commits into from
Dec 18, 2023

Conversation

lenemter
Copy link
Member

Closes #1545

@lenemter lenemter requested a review from a team July 23, 2023 09:23
@lenemter lenemter marked this pull request as draft July 23, 2023 10:29
@lenemter lenemter removed the request for review from a team July 23, 2023 10:32
@lenemter lenemter marked this pull request as ready for review October 31, 2023 01:06
@danirabbit
Copy link
Member

If you zoom in a bunch you can see something is drawing a square here

Screenshot from 2023-10-30 20 06 12

@lenemter
Copy link
Member Author

@danirabbit I increased outline border radius, does it look better on your screen?

@danirabbit
Copy link
Member

@lenemter I think what's actually happening is that in the cairo rounded rectangle function the corners are drawn offset by like a half pixel which gives that weird aliasing. Gonna try to see if I can figure out how to fix it

@danirabbit
Copy link
Member

@lenemter okay I don't know enough about cairo to fix this lol. But I think just making it 1px larger is what it should be and not 3px larger

@danirabbit
Copy link
Member

Actually it should be smaller right? Like it doesn't make sense lol something is weird here
border-radius

Copy link
Member

@danirabbit danirabbit left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We can fiddle with values later if we need to, rather not let perfect be the enemy of good :)

@danirabbit danirabbit merged commit fa8ebfd into master Dec 18, 2023
4 checks passed
@danirabbit danirabbit deleted the lenemter/round-workspace-clones branch December 18, 2023 19:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Status: Done
Development

Successfully merging this pull request may close these issues.

Draw rounded corners on workspaces in multitasking view
3 participants