Re: [Denemo-devel] Problem with pop ups

[Richard Shann]

On Fri, 2016-12-09 at 12:54 +0100, Johan Vromans wrote:
> On Fri, 09 Dec 2016 10:06:36 +0000, Richard Shann <address@hidden>
> wrote:
> 
> > > Maybe I used the wrong build options? The spec file is attached.  
> > 
> > No, sadly, that is how it is working. 
> 
> I was afraid so. I have great respect for all the troubles you take to get
> at least some decent behaviour...
> 
> For the time being, I think I'll build with tooltips disabled. Does that
> patch still exist?

I'm not sure, but there is no need - simply set the timeout to 100
million or more... I just tested that.

Meanwhile I'll create a version where you can switch to GTK tooltips -
it may be you have a fixed version of GTK (I'm assuming you can build
from 2.0.15)

Richard