diff make-dist @ 8534:a446d13c46ea

(mouse-set-mark): Select the window before saving point.
author Richard M. Stallman <rms@gnu.org>
date Sat, 13 Aug 1994 20:29:54 +0000
parents cdd772d2e59f
children f7ae124181cd
line wrap: on
line diff