aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRichard M. Stallman <[email protected]>2005-01-29 17:21:12 +0000
committerRichard M. Stallman <[email protected]>2005-01-29 17:21:12 +0000
commit6f95a835181f3352c524e2cc5c48dd7648fd6e9d (patch)
tree16d9c4c142bf5ade184e547bac289c229483b3bc
parentc6c7dc03495f90238258538535515790208a45b3 (diff)
(widget-button-click): Shorten the range of the track-mouse binding.
-rw-r--r--lisp/wid-edit.el28
1 files changed, 14 insertions, 14 deletions
diff --git a/lisp/wid-edit.el b/lisp/wid-edit.el
index 16de985fa3..f89095fd7f 100644
--- a/lisp/wid-edit.el
+++ b/lisp/wid-edit.el
@@ -915,14 +915,14 @@ Recommended as a parent keymap for modes using widgets.")
;; until we receive a release event. Highlight/
;; unhighlight the button the mouse was initially
;; on when we move over it.
- (let ((track-mouse t))
- (save-excursion
- (when face ; avoid changing around image
- (overlay-put overlay
- 'face widget-button-pressed-face)
- (overlay-put overlay
- 'mouse-face widget-button-pressed-face))
- (unless (widget-apply button :mouse-down-action event)
+ (save-excursion
+ (when face ; avoid changing around image
+ (overlay-put overlay
+ 'face widget-button-pressed-face)
+ (overlay-put overlay
+ 'mouse-face widget-button-pressed-face))
+ (unless (widget-apply button :mouse-down-action event)
+ (let ((track-mouse t))
(while (not (widget-button-release-event-p event))
(setq event (read-event)
pos (widget-event-point event))
@@ -937,13 +937,13 @@ Recommended as a parent keymap for modes using widgets.")
'mouse-face
widget-button-pressed-face))
(overlay-put overlay 'face face)
- (overlay-put overlay 'mouse-face mouse-face))))
+ (overlay-put overlay 'mouse-face mouse-face)))))
- ;; When mouse is released over the button, run
- ;; its action function.
- (when (and pos
- (eq (get-char-property pos 'button) button))
- (widget-apply-action button event))))
+ ;; When mouse is released over the button, run
+ ;; its action function.
+ (when (and pos
+ (eq (get-char-property pos 'button) button))
+ (widget-apply-action button event)))
(overlay-put overlay 'face face)
(overlay-put overlay 'mouse-face mouse-face))))