Size of space insets seem way too small in master

[Pavel Sanda]

On Tue, Aug 25, 2020 at 01:25:12PM +0200, Pavel Sanda wrote:
> 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.

see the screenshot in attachment. first char is thin line, second protected space.
p
-------------- next part --------------
A non-text attachment was scrubbed...
Name: spaces.png
Type: image/png
Size: 11936 bytes
Desc: not available
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20200825/bb122d1a/attachment-0001.png>