[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Denemo-devel] Tooltips - what am I doing wrong?
From: |
Johan Vromans |
Subject: |
Re: [Denemo-devel] Tooltips - what am I doing wrong? |
Date: |
Sun, 8 Nov 2015 20:38:31 +0100 |
On Sun, 08 Nov 2015 17:38:58 +0000
Richard Shann <address@hidden> 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
Screenshot.png
Description: PNG image
- [Denemo-devel] Tooltips - what am I doing wrong?, Johan Vromans, 2015/11/08
- Re: [Denemo-devel] Tooltips - what am I doing wrong?, Richard Shann, 2015/11/08
- Re: [Denemo-devel] Tooltips - what am I doing wrong?,
Johan Vromans <=
- Re: [Denemo-devel] Tooltips - what am I doing wrong?, Richard Shann, 2015/11/08
- Re: [Denemo-devel] Tooltips - what am I doing wrong?, Johan Vromans, 2015/11/08
- Re: [Denemo-devel] Tooltips - what am I doing wrong?, Richard Shann, 2015/11/09
- Re: [Denemo-devel] Tooltips - what am I doing wrong?, Johan Vromans, 2015/11/16
- Re: [Denemo-devel] Tooltips - what am I doing wrong?, Richard Shann, 2015/11/16
- Re: [Denemo-devel] Tooltips - what am I doing wrong?, Johan Vromans, 2015/11/16
- Re: [Denemo-devel] Tooltips - what am I doing wrong?, Johan Vromans, 2015/11/17
- Re: [Denemo-devel] Tooltips - what am I doing wrong?, Richard Shann, 2015/11/18
- Re: [Denemo-devel] Tooltips - what am I doing wrong?, Johan Vromans, 2015/11/18
- Re: [Denemo-devel] Tooltips - what am I doing wrong?, Richard Shann, 2015/11/18