[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Tabs

From: Eli Zaretskii
Subject: Re: Tabs
Date: Thu, 10 Oct 2019 10:51:00 +0300

> 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?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]