Re: describe-text-properties highlighting and mouseover face is broken

[Juri Linkov]

>     Buttons in the Help buffer are implemented with the `widget' package,
>     and I see that in wid-edit.el in `widget-specify-button' function
>     `mouse-face' was disabled intentionally as unnecessary when the mouse
>     pointer can change its shape:
>
>         ; Text terminals cannot change mouse pointer shape, so use mouse
>         ; face instead.
>         (or (display-graphic-p)
>             (overlay-put overlay 'mouse-face widget-mouse-face)))
>
> It is nice to make the mouse pointer change shape, but wouldn't it be better,
> for consistency's sake, to turn on the mouse face for this?
>
> If someone thinks it is good to use the mouse pointer shape for some
> links, and mouse face for others, could he please suggest a criterion
> for when each method is better?

Actually the Help buffer uses widget buttons that have the type `link'.
So it makes sense to put mouse face only on `link' buttons, but not on
other button types.  I don't know yet how to do that with the widget package.

-- 
Juri Linkov
http://www.jurta.org/emacs/