Size of space insets seem way too small in master

[Pavel Sanda]

On Tue, Aug 25, 2020 at 12:14:33AM +0200, Jean-Marc Lasgouttes wrote:
> Le 24/08/2020 ?? 13:28, Pavel Sanda a écrit :
> >Hi (JMarc?),
> >
> >thin space is almost invisible on my screen and normal protected space looks smaller than thin space used to...
> 
> Different from 2.3.x with the same zoom level? I did not see any recent
> change in git log for space insets... (in texted, right?)

You are right, it's not recent (I did not use master for editing until recently to spot that).

Bisect points to ad954a32a525828bd03.
On my machine the thin spice is now a single pixel line and protected space what thin space used to be.

Pavel