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

[Richard M. Stallman]

    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?