Skip to content
This repository was archived by the owner on Jan 4, 2019. It is now read-only.

Fix for rounded border issue on 200% DPI (Windows). #144

Merged
merged 1 commit into from
Jan 16, 2017

Conversation

bsclifton
Copy link
Member

Was noticed when upstreaming border fixes to electron with electron/electron#8404
After @kevinsawicki saw same issue, I fixed with electron/electron@9e0547b (same as this fix)

Tested on Windows 10 anniversary edition at 200% DPI and confirmed issue is fixed with this

Fixes brave/browser-laptop#4216

Auditors: @bbondy, @darkdh, @bridiver

Was noticed when upstreaming border fixes to electron with electron/electron#8404
After @kevinsawicki saw same issue, I fixed with electron/electron@9e0547b (same as this fix)

Tested on Windows 10 anniversary edition at 200% DPI and confirmed issue is fixed with this

Fixes brave/browser-laptop#4216

Auditors: @bbondy, @darkdh, @bridiver
@bbondy
Copy link
Member

bbondy commented Jan 16, 2017

++

@bbondy bbondy merged commit 370cb41 into master Jan 16, 2017
Copy link
Member

@darkdh darkdh left a comment

Choose a reason for hiding this comment

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

++

@bsclifton bsclifton deleted the fix-rounded-borders-200percent branch January 16, 2017 02:50
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Window corners have border radius
3 participants