On Sun, 08 Nov 2015 17:38:58 +0000 Richard Shann <[email protected]> wrote:
> Further to our conversation on irc #denemo, it might be worth deleting > ~/.denemo-* > and then re-starting and clicking Help->Turn Off Excessive Tooltips > > with that the Gtk default tooltip timings should be in effect. Ok. I removed all ~/.denemo-* directories. Rebuilt http://download.opensuse.org/repositories/home:/edogawa/Fedora_22/src/denemo-2.0.0-22.1.src.rpm Installed it. Run it. Disabled newbie mode and restarted denemo. No change. Tooltips still pop up at high speed. Before I forget to mention: denemo does not look like a GTK-based application, as can be seen from the screenshot. Behind the denemo window are some windows of 'real' GTK-based applications. BTW: The standalone binary gives lots of warnings like: Gtk - WARNING: Theme parsing error: gtk-widgets-backgrounds.css:118:15: Unknown pseudo-class 'checked' Gtk - WARNING: Theme parsing error: gtk-widgets-backgrounds.css:140:25: 'px' is not a valid color name -- Johan
_______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
