On Thu, Sep 12, 2013 at 04:14:04PM +0200, Sebastian Geerken wrote:
On Mi, Sep 11, 2013, Johannes Hofmann wrote:
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.
Tooltips are useful to get an idea what an (simple to recognize, but otherwise per se unrelated to the meaning) icon is for. (At least for me, the text "Reload" makes much more sense than two bent arrows pointing to each other's tail).
After some while, a user remembers the icon, so she does not need the text anymore; and I guess that icons are faster to realise than text. On the other hand, this argument does not count for (new) web pages, where the meaning of the icons is not yet known.
For this reason, my opinion is that a distinction is not completely pointless.
Ok, I'm fine with two separate variables too. Johannes