# HG changeset patch # User Richard M. Stallman # Date 776144896 0 # Node ID edbb014c600a6f0f94f86a14cfd852443d4e50b1 # Parent e0f2f3fc75fa396b95b9bae3f82b0546866620e6 (Fuse_global_map, Fuse_local_map): Call record_asynch_buffer_change. diff -r e0f2f3fc75fa -r edbb014c600a src/keymap.c --- a/src/keymap.c Sat Aug 06 03:22:23 1994 +0000 +++ b/src/keymap.c Sat Aug 06 03:48:16 1994 +0000 @@ -1100,6 +1100,8 @@ { keymap = get_keymap (keymap); current_global_map = keymap; + record_asynch_buffer_change (); + return Qnil; } @@ -1113,6 +1115,7 @@ keymap = get_keymap (keymap); current_buffer->keymap = keymap; + record_asynch_buffer_change (); return Qnil; }