Andreas Schwab <[EMAIL PROTECTED]> writes:

> If a tooltip cannot be read in 10 seconds then it is
> too long, IMHO.

By that logic, we should make echo area messages go away
after a while too, so people don't make them "too long".

As I said, in my mind, if the user has not yet moved the
mouse or started typing, he or she is probably still reading
the tooltip.  If that's not right, then what am I missing?

-- 
Daniel Brockman <[EMAIL PROTECTED]>



_______________________________________________
Emacs-devel mailing list
Emacs-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/emacs-devel

Reply via email to