11 Sep
2013
11 Sep
'13
7:14 p.m.
On Wed, Sep 11, 2013 at 05:34:06PM +0200, corvid wrote:
Someone in the bug tracker was asking about turning off the ui's tooltips.
What about using the existing prefs.show_tooltip variable for both types of tooltips? I would guess that someone either likes / wants tooltips or not independent of whether it's for the UI or the page contents. Cheers, Johannes