-
Stefan Monnier authored
(tpu-edt-off): Use it. (tpu-edt-on): Set it. Make sure the tpu-global-map is not already on the global-map before adding it to global-map.
faeb4977
(tpu-edt-off): Use it. (tpu-edt-on): Set it. Make sure the tpu-global-map is not already on the global-map before adding it to global-map.