On Wed, Sep 09, 2020 at 11:30:25AM +0200, Jean-Marc Lasgouttes wrote: > 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?
It's definitely big improvement. I would say that 2.3 version was still better, but I can live with the current version. Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
