On Fri, 2016-12-09 at 12:27 +0000, Richard Shann wrote: > 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)
I've done this now, if you Change Preferences->Command Behavior->Tooltip Timeout to -1 you can turn on GTK tool tips (restart of Denemo needed for this to take effect). With GTK tool tips you do not get a choice about the timing, which seems pure hubris. I would be interested if anyone can report a version of GTK3 in which the tool tips are usable, please invoke denemo --version to find out which version of GTK you are running against. Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
