[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: widget-button-click chokes on frame selection event
From: |
Richard Stallman |
Subject: |
Re: widget-button-click chokes on frame selection event |
Date: |
Sun, 17 Sep 2006 17:04:10 -0400 |
I don't know how to reproduce the problem, but I think I see what
is going wrong. I am guessing how to fix it. What results does
this give?
*** wid-edit.el 22 Feb 2006 13:56:50 -0500 1.166
--- wid-edit.el 17 Sep 2006 14:35:20 -0400
***************
*** 959,973 ****
(push event unread-command-events)
(setq event oevent)
(throw 'button-press-cancelled t))
! (setq pos (widget-event-point event))
! (if (and pos
! (eq (get-char-property pos 'button)
! button))
! (when face
! (overlay-put overlay 'face pressed-face)
! (overlay-put overlay 'mouse-face
pressed-face))
! (overlay-put overlay 'face face)
! (overlay-put overlay 'mouse-face
mouse-face)))))
;; When mouse is released over the button, run
;; its action function.
--- 959,976 ----
(push event unread-command-events)
(setq event oevent)
(throw 'button-press-cancelled t))
! (unless (or (integerp event)
! (memq (car event) '(switch-frame
select-window))
! (eq (car event)
'scroll-bar-movement))
! (setq pos (widget-event-point event))
! (if (and pos
! (eq (get-char-property pos 'button)
! button))
! (when face
! (overlay-put overlay 'face pressed-face)
! (overlay-put overlay 'mouse-face
pressed-face))
! (overlay-put overlay 'face face)
! (overlay-put overlay 'mouse-face
mouse-face))))))
;; When mouse is released over the button, run
;; its action function.