comparison admin/build-configs @ 63959:112062b959bd

(tpu-original-global-map): Don't copy global-map, save the same map. (global-map): Don't alter it at top level. (tpu-edt-on): Save global map in tpu-original-global-map, then copy. Then alter it here instead. (tpu-edt-off): Set global-map to the saved one.
author Richard M. Stallman <rms@gnu.org>
date Sun, 03 Jul 2005 19:20:21 +0000
parents 695cf19ef79e
children c53a9463c31a 375f2633d815
comparison
equal deleted inserted replaced
63958:180214c3bcc9 63959:112062b959bd