diff lib-src/rcs-checkin @ 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 aa19e3673b9f
children 9e5812a795da
line wrap: on
line diff