diff make-dist @ 15941:f063cae001ee

(mouse-region-delete-keys): New variable. (mouse-show-mark): If one of those keys is next, delete the region.
author Richard M. Stallman <rms@gnu.org>
date Tue, 27 Aug 1996 01:03:35 +0000
parents ffc0af16b32a
children 9694822642a7
line wrap: on
line diff