(widget-specify-button): If mouse pointer shape cannot be changed,

use mouse face instead.

diff --git a/lisp/wid-edit.el b/lisp/wid-edit.el
index 5e67255eac9fc245bbb36708f5fed639c398299a..16de985fa3cb65aff1465d61550faff1699570ae 100644 (file)
--- a/lisp/wid-edit.el
+++ b/lisp/wid-edit.el
@@ -391,7 +391,11 @@ new value.")
     (overlay-put overlay 'evaporate t)
     ;; We want to avoid the face with image buttons.
     (unless (widget-get widget :suppress-face)
-      (overlay-put overlay 'face (widget-apply widget :button-face-get)))
+      (overlay-put overlay 'face (widget-apply widget :button-face-get))
+      ; Text terminals cannot change mouse pointer shape, so use mouse
+      ; face instead.
+      (or (display-graphic-p)
+         (overlay-put overlay 'mouse-face widget-mouse-face)))
     (overlay-put overlay 'pointer 'hand)
     (overlay-put overlay 'follow-link follow-link)
     (overlay-put overlay 'help-echo help-echo)))