Op 24-10-2022 om 00:15 schreef Christopher Hillenbrand:
Dear LyX developers,
Here's a patch for adjusting editor text width in windowed mode (see
ticket https://www.lyx.org/trac/ticket/9376). It's an adaptation of
the previous patch uploaded by stwitt (two years ago). Please try it
out when you get a chance!
Since I couldn't access the true screen DPI from within
prefs2prefs.py, this patch removes the old settings \fullscreen_width
and \fullscreen_limit rather than hardcoding a default DPI value. But
if you think a different approach would be preferable, I'd be happy to
change it.
Best regards,
Christopher
I have tested it (thanks for doing this) and think it can be made a bit
simpler, more useable. The possible units to measure the width are
overwhelming. I counted 11 absolute options and 7 where percentages are
used. Also when I change the unit, the number remains the same. It is
not recalculated, which means the width can change very much.
Cor
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
