[PATCH] Add support for HiDpi screens

[Enrico Forestieri]

On Sat, Jul 18, 2020 at 12:06:26AM +0200, Jean-Marc Lasgouttes wrote:
> Now that I have a HiDpi screen, I really feel the need to do something.
> 
> This trivial patch works pretty well  with Linux/X11 :)
> 
> Could someone try it it with Windows/Wayland/macOS (with normal dpi or
> HiDpi).
> 
> I will try a few cases myself, but I could use some help.

I do not see any difference on Windows with HiDpi.
What should be paid attention to?

-- 
Enrico