patch 8.0.1810: buffer of a terminal only updated in Terminal-Normal mode
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.
diff --git a/src/proto/ex_cmds2.pro b/src/proto/ex_cmds2.pro
index a7d19d7..ac9b291 100644
--- a/src/proto/ex_cmds2.pro
+++ b/src/proto/ex_cmds2.pro
@@ -1,5 +1,5 @@
/* ex_cmds2.c */
-int has_watchexpr (void);
+int has_watchexpr(void);
void do_debug(char_u *cmd);
void ex_debug(exarg_T *eap);
void dbg_check_breakpoint(exarg_T *eap);
@@ -19,6 +19,7 @@
void profile_setlimit(long msec, proftime_T *tm);
int profile_passed_limit(proftime_T *tm);
void profile_zero(proftime_T *tm);
+long proftime_time_left(proftime_T *due, proftime_T *now);
timer_T *create_timer(long msec, int repeat);
long check_due_timer(void);
timer_T *find_timer(long id);
diff --git a/src/proto/terminal.pro b/src/proto/terminal.pro
index f97f025..93c6ab5 100644
--- a/src/proto/terminal.pro
+++ b/src/proto/terminal.pro
@@ -9,6 +9,7 @@
int term_job_running(term_T *term);
int term_none_open(term_T *term);
int term_try_stop_job(buf_T *buf);
+int term_check_timers(int next_due_arg, proftime_T *now);
int term_in_normal_mode(void);
void term_enter_job_mode(void);
int send_keys_to_term(term_T *term, int c, int typed);