diff options
| author | Bram Moolenaar <Bram@vim.org> | 2018-03-11 19:30:45 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2018-03-11 19:30:45 +0100 |
| commit | c48369c3fc507f398abbc933a60f653c6abe6701 (patch) | |
| tree | 4c7f4a91eb8877c72c64ec0a615bfeac6064a50e /src/proto/terminal.pro | |
| parent | e87303af3236b8fb5e1e3be4d0e2209344fbf8b2 (diff) | |
patch 8.0.1598: cannot select text in a terminal with the mousev8.0.1598
Problem: Cannot select text in a terminal with the mouse.
Solution: When a job in a terminal is not consuming mouse events, use them
for modeless selection. Also stop Insert mode when clicking in a
terminal window.
Diffstat (limited to 'src/proto/terminal.pro')
| -rw-r--r-- | src/proto/terminal.pro | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proto/terminal.pro b/src/proto/terminal.pro index f7d06c050b..977537b716 100644 --- a/src/proto/terminal.pro +++ b/src/proto/terminal.pro @@ -12,6 +12,7 @@ void term_enter_job_mode(void); int send_keys_to_term(term_T *term, int c, int typed); int terminal_is_active(void); cursorentry_T *term_get_cursor_shape(guicolor_T *fg, guicolor_T *bg); +void term_win_entered(void); int term_use_loop(void); int terminal_loop(int blocking); void term_job_ended(job_T *job); |