diff src/gnu.h @ 2805:5efa58250e35

(push-mark): Don't activate the mark. (set-mark-command): Explicitly do so here. When popping, don't mind if mark is inactive. (pop-mark): Deactivate mark. Don't mind if it's inactive. (yank-pop): Don't mind if mark is inactive. (keyboard-quit): Deactivate the mark. (kill-ring-save): When bouncing cursor, bounce the mark too, so highlighted area does not change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 15 May 1993 20:55:02 +0000
parents 0ffcf74fb8ad
children 6ad8db6dc039
line wrap: on
line diff