On Sun, 2015-11-08 at 20:38 +0100, Johan Vromans wrote: > 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.
Well, the "tools" toolbar should be the same - it is using default icons for Open, Save, Print, Print Preview etc but the application (email) visible behind does not happen to have any of those - and, are you sure they use Gtk? The only one I'm fairly sure uses Gtk is Gimp... > > 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 That's interesting - again, this should be some default thing coming with Gtk - the implication is that the build mixed components with incompatibilities... It's a good idea to run denemo --version as this gives both the build-time and run-time versions of Gtk used. Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
