Re: Tabs

[Eli Zaretskii]

> From: Juri Linkov <address@hidden>
> Cc: Ergus <address@hidden>,  address@hidden,  address@hidden
> Date: Thu, 10 Oct 2019 01:37:49 +0300
> 
> > Do you see the problem described by Jimmy on your system?  If so, are
> > you able to debug it on your system (with my help, if you need it)?
> > If not, would someone else who sees the problem please try debugging
> > it?
> 
> It's strange that the problem is not reproducible even when
> I tried with exactly the same configuration with gtk3 and
> without optimization.

Do you see it in an optimized build?