diff src/keyboard.c @ 2061:8fe7e77dc596

Include intervals.h. (read_key_sequence): Use get_local_map.

--- a/src/keyboard.c	Sun Mar 07 23:41:34 1993 +0000
+++ b/src/keyboard.c	Sun Mar 07 23:43:52 1993 +0000
@@ -35,6 +35,7 @@
 #include "disptab.h"
 #include "dispextern.h"
 #include "keyboard.h"
+#include "intervals.h"
 #include <setjmp.h>
 #include <errno.h>
 
@@ -3223,7 +3224,11 @@
 	nmaps_allocated = nmaps;
       }
     bcopy (maps, submaps, (nmaps - 2) * sizeof (submaps[0]));
-    submaps[nmaps-2] = current_buffer->keymap;
+#ifdef USE_TEXT_PROPERTIES
+    submaps[nmaps-2] = get_local_map (PT, current_buffer);
+#else
+    submaps[nmaps-2] = current_buffer->local_map;
+#endif
     submaps[nmaps-1] = global_map;
   }