diff make-dist @ 45978:a8fbafaa31ad

(event-start, event-end, event-click-count): Accept non-mouse events as well. (read-key): New function. (read-quoted-char): Use it. Use this-single-command-raw-keys as well.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sun, 23 Jun 2002 22:13:15 +0000
parents f526d32944b1
children 23a1cea22d13
line wrap: on
line diff