diff src/widget.c @ 23804:aa5a4d0b1591

(key_event): Use Vw32_phantom_key_code. Undo the mapping of Ctrl-Pause into cancel, and Ctrl-NumLock into pause. (w32_console_toggle_lock_key): New function.
author Geoff Voelker <voelker@cs.washington.edu>
date Wed, 02 Dec 1998 23:54:14 +0000
parents fa9ff387d260
children bd6d15dc5a10
line wrap: on
line diff