diff src/s/gnu-linux.h @ 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 8e1f1f05b742
children 464d0a0dcf2e
line wrap: on
line diff