We have been plagued for some time by changes to Gtk which have made tooltips unusable in some builds. I've implemented a new tooltip system that won't be affected by what Gtk does with its tooltips in future. It works somewhat differently (unfortunately): you need to move the mouse over the item for the tooltip to pop up. The tooltip can be dismissed either by quitting it or by clicking - it won't reappear for the same item unless you first move off the item and return. So in practice a shake of the mouse will remove the tooltip, (in and out of the tip). But, best of all the speed with which they pop-up is once again controllable. I've made this available for all builds, as that is the future proof way to go.
Richard _______________________________________________ Denemo-devel mailing list Denemo-devel@gnu.org https://lists.gnu.org/mailman/listinfo/denemo-devel