Size of space insets seem way too small in master

[Jean-Marc Lasgouttes]

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