Hi, I'm running denemo on Fedora 22.
Somehow I can't get rid of the tooltips. No matter how I set the tooltip timeout settings, the tooltips always pop up immedeately. Extremely annoying. Since setting the tooltip timeouts seem to have no effect, I suspect there's something wrong with the internal timer handling. I tried the denemo-1.2.4-x86_64 kit from the site, and also self-built Fedora kits for denemo-1.2.4 and denemo-2.0.0. What am I doing wrong? -- Johan _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
