(timer_check): Preserve the value of deactivate-mark.
authorGerd Moellmann <gerd@gnu.org>
Thu, 15 Mar 2001 16:31:51 +0000 (16:31 +0000)
committerGerd Moellmann <gerd@gnu.org>
Thu, 15 Mar 2001 16:31:51 +0000 (16:31 +0000)
commitd0bbfc999a2c2375d2f56ea28b38efcd5ce33c27
treec15f37fb3f5c863f95333bbcc2cbde8c42102f34
parent03d1a1896654b1014db6e7da740b660cb6d81cc0
(timer_check): Preserve the value of deactivate-mark.
(command_loop_1): Undo last change.
src/ChangeLog
src/keyboard.c