Re: [Denemo-devel] Problem with pop ups

[Johan Vromans]

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?

-- Johan