Le 27/09/2021 à 12:37, Kornel Benko a écrit :
What makes me wonder: why should created pdf depend on HighDpi of users screen?
(See
src/frontends/qt/GuiApplication.cpp:558
src/frontends/qt/GuiApplication.h:173)
I suspect we should always use the HiDpi version.
It is however difficult to do with the current InsetInfo code which uses
an InsetGraphics in a InsetCollapsable instead of doing things by hand.
JMarc
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel