Don't apply keyboard decoding to unread-command-events.

* src/keyboard.c: Apply keyboard decoding only to events that come directly
from the tty, not from unread-command-events (bug#14368).
(read_event_from_main_queue): New function, extracted from read_char).
(read_decoded_char): Remove.
(read_decoded_event_from_main_queue): New function to replace it.
(read_char): Use it.
(read_key_sequence): Use read_char rather than read_decoded_char.

Fixes: debbugs:14403

1 files changed, 8 insertions, 0 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index 8f97659db33..1d2af4b2a7d 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,13 @@
 2013-05-23  Stefan Monnier  <monnier@iro.umontreal.ca>
 
+        * keyboard.c: Apply keyboard decoding only to events that come directly
+        from the tty, not from unread-command-events (bug#14368).
+        (read_event_from_main_queue): New function, extracted from read_char).
+        (read_decoded_char): Remove.
+        (read_decoded_event_from_main_queue): New function to replace it.
+        (read_char): Use it.
+        (read_key_sequence): Use read_char rather than read_decoded_char.
+
         * keyboard.c (read_decoded_char): Don't decode under w32 (bug#14403).
 
 2013-05-22  Barry OReilly  <gundaetiapo@gmail.com>  (tiny change)