diff src/keyboard.c @ 3538:f53bcee8d914

(read_key_sequence): Reset fkey_map when we find something at the end of Vfunction_key_map.

--- a/src/keyboard.c	Mon Jun 07 05:30:29 1993 +0000
+++ b/src/keyboard.c	Mon Jun 07 05:31:40 1993 +0000
@@ -4023,6 +4023,7 @@
 		  
 		  mock_input = t;
 		  fkey_start = fkey_end = t;
+		  fkey_map = Vfunction_key_map;
 
 		  goto replay_sequence;
 		}