diff move-if-change @ 32232:ecede095f3ac

(fancy-splash-screens): Use local rather than global map. Don't use `update-menu-bindings' any more. Get rid of assumptions about keymap representation.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Fri, 06 Oct 2000 22:18:15 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff