diff move-if-change @ 60753:bbeddd423eb1

(keys_of_keyboard): Just use `ignore' instead of the redundant `ignore-event'.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sat, 19 Mar 2005 16:36:01 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff