diff make-dist @ 41763:541b53a03028

(widget-button-click): Don't move point permanently: Avoid mouse-set-point--instead select the window, then do save-excursion, then move point. Specify the buffer for get-char-property. Don't use `@' in interactive.
author Richard M. Stallman <rms@gnu.org>
date Sun, 02 Dec 2001 04:49:43 +0000
parents 8a2033481496
children 84b7e5da33e2
line wrap: on
line diff