diff options
| author | Bram Moolenaar <Bram@vim.org> | 2017-08-05 19:34:47 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2017-08-05 19:34:47 +0200 |
| commit | 98fd66d311a62133c835307dc7692763dfa32c69 (patch) | |
| tree | 478b884a33d599ca23ff69f50bdb4a5afe4144f4 /src/proto/terminal.pro | |
| parent | 086d535f775da1abc557f5f28d101ff3308dc18f (diff) | |
| download | vim-git-98fd66d311a62133c835307dc7692763dfa32c69.tar.gz | |
patch 8.0.0872: no mouse scroll with a terminal windowv8.0.0872
Problem: Using mouse scroll while a terminal window has focus and the mouse
pointer is on another window does not work. Same for focus in a
non-terminal window ahd the mouse pointer is over a terminal
window.
Solution: Send the scroll action to the right 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 157b6aaaf..b6c27ed0b 100644 --- a/src/proto/terminal.pro +++ b/src/proto/terminal.pro @@ -5,6 +5,7 @@ void write_to_term(buf_T *buffer, char_u *msg, channel_T *channel); int term_job_running(term_T *term); int term_in_terminal_mode(void); void term_leave_terminal_mode(void); +int send_keys_to_term(term_T *term, int c, int typed); int term_use_loop(void); int terminal_loop(void); void term_job_ended(job_T *job); |