# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1107004941 0
# Node ID 08c82797edef56166598dd139fb4e249ac95be43
# Parent  8d2464efeb2e67dd098a3e147d97399fcbb1df5c
(widget-specify-button): If mouse pointer shape cannot be changed,
use mouse face instead.

diff -r 8d2464efeb2e -r 08c82797edef lisp/wid-edit.el
--- a/lisp/wid-edit.el	Sat Jan 29 06:55:14 2005 +0000
+++ b/lisp/wid-edit.el	Sat Jan 29 13:22:21 2005 +0000
@@ -391,7 +391,11 @@
     (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)))