[PATCH] Add support for HiDpi screens

[Jean-Marc Lasgouttes]

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.

JMarc
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Add-support-for-HiDpi-screens.patch
Type: text/x-patch
Size: 1056 bytes
Desc: not available
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20200718/f343b277/attachment-0001.bin>