diff src/.arch-inventory @ 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 a0fc4f10d0cf
children 530650861e31 d1ccd8aa7b94
line wrap: on
line diff