supporting mouse-entered, mouse-left

[Steve Yegge <stevey@google.com>]

[-- Attachment #1: Type: text/plain, Size: 592 bytes --]

I would like to highlight certain identifiers (such as all uses
of a particular local variable in a function) simultaneously
when the mouse enters any of them.

I've scoured the documentation, and I don't see a way to
accomplish this feat.

Would it be reasonable to add mouse-entered and mouse-left
properties analogous to point-entered and point-left?

Alternately (or in addition), it might be nice to have text
properties analogous to the mouseenter, mouseleave and
possibly mouseover standard browser events, which would
fire at the granularity of pixels rather than characters.

-steve

[-- Attachment #2: Type: text/html, Size: 654 bytes --]