[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Denemo-devel] [bug #49663] Newbie tooltips
|
From: |
Richard Shann |
|
Subject: |
[Denemo-devel] [bug #49663] Newbie tooltips |
|
Date: |
Mon, 21 Nov 2016 18:21:22 +0000 (UTC) |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Firefox/38.0 Iceweasel/38.4.0 |
Follow-up Comment #1, bug #49663 (project denemo):
You kill the newbie ones via Help menu, and in the upcoming version 2.0.14
(which you can test now - binaries at
http://www.denemo.org/~jjbenham/gub/uploads/?C=M;O=A or via website)
the timing of all tooltips is once again controllable via the Change
Preferences dialog in the Edit menu.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?49663>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/