Le 20/03/2018 à 15:37, Scott Kostyshak a écrit :
It is probably a good time to have this discussion: do we want the UI
element size/thickness to depend from dpi/zoom?
My first thought is that it makes sense to zoom.
What do other applications do in similar situations?
Is the symbol indicating a new line (from ctrl+return) also part of this
discussion? Or it is viewed as a character so that's why it zooms?
It has the width of an 'n' and an ascent equal to maxAscent of the font.
What I would change is to make the thickness of the line depend on zoom&dpi.
So what I am heading towards these days is zooming like a magnifier
would do.
If I take a look at LibreOffice, I see that the width of a tabular line
does not depend on zoom. It might depend on dpi, though. But I do not
know whether dpi since is supposed to be reliable on all platforms.
MS Office does zoom the tabular rules thickness OTOH.
Actually, MetricsBase::solid_line_thickness_ depends on the zoom, but
not of the dpi:
if (lyxrc.currentZoom >= 200) {
// derive the line thickness from zoom factor
// the zoom is given in percent
// (increase thickness at 250%, 450% etc.)
solid_line_thickness_ = (lyxrc.currentZoom + 150) / 200;
Stephan, is it a problem with retina screen, or does the OS take care of
this? (I think it does).
Also do other people have experience of HiDPI screens in other cases?
JMarc
