Skip to content

GDI Scaling#371

Merged
sayurin merged 3 commits intomasterfrom
gdi-scaling
Apr 30, 2022
Merged

GDI Scaling#371
sayurin merged 3 commits intomasterfrom
gdi-scaling

Conversation

@sayurin
Copy link
Copy Markdown
Member

@sayurin sayurin commented Apr 30, 2022

High DPI対応は不完全でところどころフォントサイズ調整やサイズ計算が行き届いていなかった。新たにGDI Scalingという機能が登場しているので、High DPI対応を無効化した上で、GDI Scalingに切り替える。

@sayurin sayurin self-assigned this Apr 30, 2022
@sayurin sayurin added this to the v5.7 milestone Apr 30, 2022
@sayurin sayurin merged commit 0d72c81 into master Apr 30, 2022
@sayurin sayurin deleted the gdi-scaling branch April 30, 2022 13:05
@sayurin sayurin mentioned this pull request May 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant