[RFC] Make caret width scalable wrt current font, not zoom.

[Jean-Marc Lasgouttes]

Hi there,

This is an experiment to see what people think about it. The idea is

1/ make cursor width scalable by default

2/ instead of setting a width that depends on zoom, choose one that 
depends on current font line width (like the height depends on font height).

What I still do not like is that "0" is not an intuitive value for the 
caret width in preferences. I thought we had a way to display "auto" 
instead, but I cannot find how to do that.

Thoughts?

JMarc
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Make-cursor-width-depend-on-current-font.patch
Type: text/x-patch
Size: 3305 bytes
Desc: not available
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20201001/0605f9a9/attachment.bin>