Re: The order input events are processed.

[Richard Stallman]

    It used unread-post-input-method-events instead of unread-command-events
    to ensure that the event is pushed back on the first list of events
    processed by read-event.

That change is not right, I think.  Using
unread-post-input-method-events instead of unread-command-events
alters the way the events are processed: it does goto reread_first
instead of goto reread_for_input_method.

With your change (or my change), we know that these lists are
empty when read-event is called.  That being so, I think it is fine
to put the event back in unread-command-events.