Re: patch: show_ui_tooltip

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