diff src/xmenu.c @ 15321:1aeaf1224f0b

(mouse-show-mark): Use temporary highlighting if possible instead of a pause. (mouse-drag-region): Use mouse-show-mark to do temp highlighting. (mouse-save-then-kill): Call mouse-show-mark for a new selection if we have a window system.
author Richard M. Stallman <rms@gnu.org>
date Mon, 03 Jun 1996 17:21:03 +0000
parents a9ed91ec0700
children 55a2ea0e640c
line wrap: on
line diff