On Fri, 2016-12-09 at 12:54 +0100, Johan Vromans wrote: > On Fri, 09 Dec 2016 10:06:36 +0000, Richard Shann <[email protected]> > 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 _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
