391 |
(overlay-put overlay 'evaporate t) |
(overlay-put overlay 'evaporate t) |
392 |
;; We want to avoid the face with image buttons. |
;; We want to avoid the face with image buttons. |
393 |
(unless (widget-get widget :suppress-face) |
(unless (widget-get widget :suppress-face) |
394 |
(overlay-put overlay 'face (widget-apply widget :button-face-get))) |
(overlay-put overlay 'face (widget-apply widget :button-face-get)) |
395 |
|
; Text terminals cannot change mouse pointer shape, so use mouse |
396 |
|
; face instead. |
397 |
|
(or (display-graphic-p) |
398 |
|
(overlay-put overlay 'mouse-face widget-mouse-face))) |
399 |
(overlay-put overlay 'pointer 'hand) |
(overlay-put overlay 'pointer 'hand) |
400 |
(overlay-put overlay 'follow-link follow-link) |
(overlay-put overlay 'follow-link follow-link) |
401 |
(overlay-put overlay 'help-echo help-echo))) |
(overlay-put overlay 'help-echo help-echo))) |