diff options
| -rw-r--r-- | src/keyboard.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index e0db002ea94..b854d423cd1 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -2778,7 +2778,7 @@ read_char (commandflag, nmaps, maps, prev_event, used_mouse_menu) | |||
| 2778 | available, garbage collect if there has been enough | 2778 | available, garbage collect if there has been enough |
| 2779 | consing going on to make it worthwhile. */ | 2779 | consing going on to make it worthwhile. */ |
| 2780 | if (!detect_input_pending_run_timers (0) | 2780 | if (!detect_input_pending_run_timers (0) |
| 2781 | && consing_since_gc > gc_cons_threshold / 2) | 2781 | && consing_since_gc > gc_cons_combined_threshold / 2) |
| 2782 | Fgarbage_collect (); | 2782 | Fgarbage_collect (); |
| 2783 | 2783 | ||
| 2784 | redisplay (); | 2784 | redisplay (); |