comparison make-dist @ 10720:4526bdcc806e

(mouse-drag-region): Delete the overlay before calling the terminating event's command binding or making a region. (mouse-set-region-1): New function. (mouse-drag-region, mouse-set-region, mouse-save-then-kill): Call it. (mouse-region-match): New function.
author Richard M. Stallman <rms@gnu.org>
date Sun, 12 Feb 1995 04:51:42 +0000
parents 9b43de28b295
children 6eb8397f165b
comparison
equal deleted inserted replaced
10719:40ae63b409f4 10720:4526bdcc806e