diff options
| -rw-r--r-- | src/keyboard.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index 2819328c4e3..2db086c0d10 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -1815,8 +1815,9 @@ read_char (commandflag, nmaps, maps, prev_event, used_mouse_menu) | |||
| 1815 | reread_first: | 1815 | reread_first: |
| 1816 | 1816 | ||
| 1817 | /* Don't echo mouse motion events. */ | 1817 | /* Don't echo mouse motion events. */ |
| 1818 | if (! (EVENT_HAS_PARAMETERS (c) | 1818 | if (echo_keystrokes |
| 1819 | && EQ (EVENT_HEAD_KIND (EVENT_HEAD (c)), Qmouse_movement))) | 1819 | && ! (EVENT_HAS_PARAMETERS (c) |
| 1820 | && EQ (EVENT_HEAD_KIND (EVENT_HEAD (c)), Qmouse_movement))) | ||
| 1820 | { | 1821 | { |
| 1821 | echo_char (c); | 1822 | echo_char (c); |
| 1822 | if (! NILP (also_record)) | 1823 | if (! NILP (also_record)) |