[PATCH] Add support for HiDpi screens

[Enrico Forestieri]

On Sun, Jul 19, 2020 at 08:45:19AM +0200, Stephan Witt wrote:
> Am 18.07.2020 um 00:06 schrieb Jean-Marc Lasgouttes <lasgouttes at lyx.org>:
> > 
> > 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’m able to run it on HiDpi only (ATM). I patched the code and checked it. 
> There is not visible difference. I can provide screen shots if you want them. 

JMarc, did you forget to apply this? There are reports that it actually
solves issues (see #11875).

-- 
Enrico