Le 25/08/2020 à 16:24, Pavel Sanda a écrit :
On Tue, Aug 25, 2020 at 04:23:01PM +0200, Pavel Sanda wrote:
No. Note however that is is a 1 pixel difference.
On the screenshot I sent it was 3 pixels for protected and 1 for thin.
3 pixels *difference*
Indeed, I decided at the time hat having one extra pixel on each side
was a good idea. I have changed to a more conservative approach now. Is
it good enough?
JMarc
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
