diff options
| author | Bram Moolenaar <Bram@vim.org> | 2018-05-10 18:05:56 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2018-05-10 18:05:56 +0200 |
| commit | 56bc8e299cdae1b4606897749ef54a0161381a4a (patch) | |
| tree | ecbd0f7ec5a65989ceefe71003fb17b45d726161 /src/ex_cmds2.c | |
| parent | b9464821901623f983528acaed9e4dc2cea7387b (diff) | |
patch 8.0.1810: buffer of a terminal only updated in Terminal-Normal modev8.0.1810
Problem: Buffer of a terminal only updated in Terminal-Normal mode.
Solution: Copy the terminal window content to the buffer when in
Terminal-Job mode.
Diffstat (limited to 'src/ex_cmds2.c')
| -rw-r--r-- | src/ex_cmds2.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/ex_cmds2.c b/src/ex_cmds2.c index 7fa4907bda..d27d0cdf59 100644 --- a/src/ex_cmds2.c +++ b/src/ex_cmds2.c @@ -1206,7 +1206,7 @@ profile_zero(proftime_T *tm) static timer_T *first_timer = NULL; static long last_timer_id = 0; - static long + long proftime_time_left(proftime_T *due, proftime_T *now) { # ifdef WIN3264 @@ -1424,6 +1424,10 @@ check_due_timer(void) next_due = this_due; } #endif +#ifdef FEAT_TERMINAL + /* Some terminal windows may need their buffer updated. */ + next_due = term_check_timers(next_due, &now); +#endif return current_id != last_timer_id ? 1 : next_due; } |