Any problems with this patch?

[David Kastrup]

In order to get consistent treatment of local-map/keymap properties, I
would like to check in the following change.  Doese anybody see a
problem with it?

*** keyboard.c  11 Sep 2006 08:42:55 +0200      1.875
--- keyboard.c  11 Sep 2006 16:33:52 +0200      
***************
*** 9125,9140 ****
                          if (!EQ (map_here, orig_local_map))
                            {
                              orig_local_map = map_here;
!                             keybuf[t] = key;
!                             mock_input = t + 1;
! 
!                             goto replay_sequence;
                            }
                          map_here = get_local_map (XINT (pos),
                                                     current_buffer, Qkeymap);
                          if (!EQ (map_here, orig_keymap))
                            {
                              orig_keymap = map_here;
                              keybuf[t] = key;
                              mock_input = t + 1;
  
--- 9125,9143 ----
                          if (!EQ (map_here, orig_local_map))
                            {
                              orig_local_map = map_here;
!                             ++localized_local_map;
                            }
+ 
                          map_here = get_local_map (XINT (pos),
                                                     current_buffer, Qkeymap);
                          if (!EQ (map_here, orig_keymap))
                            {
                              orig_keymap = map_here;
+                             ++localized_local_map;
+                           }
+ 
+                         if (localized_local_map > 1)
+                           {
                              keybuf[t] = key;
                              mock_input = t + 1;
  


-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum