Bo Peng schrieb:
Dear all,
The attached patch will be applied tomorrow morning if there is no
objection. The main design ideas are that
1. enable mouse tracking
2. get inset under mouse (done by editXY) and pass notifyMouseEnter
and notifyMouseLeave to it.
3. if an inset (currently insetcommand and insetcollapsable) decides
to respond to notifyMouseEnter, it returns true to the notify
functions to be redrawn.
4. button painter now paints hover-style buttons. I have changed some
default colors for this.
Please test and comment.
I guess that this patch
- is well-tested
- is non-intrusive
- fixes a bug
If not, you may have to ask Jose for permission :-)
Michael
