Size of space insets seem way too small in master

[Pavel Sanda]

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