I was going to lump this into a bunch of "miscellania", but it is SOOO
annoying and interfering, as well as long-standing, that I thought it
deserved its own separate thread.
I am currently trying to normalize my 1.1.2 build (my git build has a
different set of problems). On Ubuntu 14.04.
The tooltip balloon imposes itself regardless of my settings. It
flickers in frantically when I focus the mouse arrow in/on some menu
element, within about a second. I have gone to preferences and
unchecked "highlight cursor", changed all my tooltip-related timeouts to
long durations (like 10000 milliseconds) and also went under Help ->
"Turn Excessive Tooltips (Off/On)". To no avail!
thanks.
_______________________________________________
Denemo-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/denemo-devel
