changeset 59767:08c82797edef

(widget-specify-button): If mouse pointer shape cannot be changed, use mouse face instead.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 29 Jan 2005 13:22:21 +0000
parents 8d2464efeb2e
children 56ad3ca04692
files lisp/wid-edit.el
diffstat 1 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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)))