Files
ge0rdi 21eea53dfd Properly scale default skin font according to DPI (#1110)
Original fix introduced in 528d15 was not correct.
The problem is that `SystemParametersInfo` uses DPI that current session
started with.

We should use `SystemParametersInfoForDpi` (available since Win10 1607)
that returns properly scaled font size.

Fixes #1110
2023-01-19 08:27:02 +01:00
..
2022-12-28 19:26:22 +01:00
2022-12-28 19:26:22 +01:00
2022-12-28 19:26:22 +01:00
2022-12-28 19:26:22 +01:00
2022-12-28 19:26:22 +01:00
2018-08-05 15:22:10 -04:00