> 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/ _______________________________________________ Emacs-pretest-bug mailing list [email protected] http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
