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* -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
