diff options
| author | Richard M. Stallman <rms@gnu.org> | 1996-02-10 08:48:48 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1996-02-10 08:48:48 +0000 |
| commit | c9807d950a2b30b89df8f20c6e7a589b87451340 (patch) | |
| tree | dd5b175c58384adcd86de5a7239e8534015893fd /make-dist | |
| parent | 9296f4359915c71aef7274c2e8810905fa996e42 (diff) | |
| download | emacs-c9807d950a2b30b89df8f20c6e7a589b87451340.tar.gz | |
(read_char, timer_check): Call any_kboard_state
after calling Fcommand_execute, if was previously in that state.
Diffstat (limited to 'make-dist')
0 files changed, 0 insertions, 0 deletions