diff make-dist @ 57480:db7d00351c33

(substitute-key-definition-key): New function. (substitute-key-definition): Use it with map-keymap. (event-modifiers): Use push. (mouse-movement-p, with-temp-buffer): Simplify.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 13 Oct 2004 17:05:55 +0000
parents b5f2181a40b9
children f1e5f5261b95 59dcbfe97385
line wrap: on
line diff