comparison make-dist @ 41033:0701d564260d

(mouse-show-mark): Either move point to the mark or use highlighting, never both. (mouse-buffer-menu): If WINDOW is a frame, select its selected window.
author Richard M. Stallman <rms@gnu.org>
date Wed, 14 Nov 2001 02:48:17 +0000
parents 80822bf12d5e
children 1daffd332bcd
comparison
equal deleted inserted replaced
41032:ef8a5e50dbe8 41033:0701d564260d