Tooltips

[Jon K Hellan <hellan acm org>]

Here's an idea about tooltips:

Let the tooltip pop up without delay if a tooltip has been shown
within the last  - say - 500 msec.

So if you want to find out what each widget does, you can browse the
tooltips very quickly.

In normal use, you would experience the normal delay.

Anybody want this? Hate this?

I've made a prototype implementation to check that it can be done. It
takes a small change in gtk.

Jon Kåre