Mercurial > vim
comparison src/channel.c @ 11834:0cfe4a07c2ad v8.0.0797
patch 8.0.0797: finished job in terminal window is not handled
commit https://github.com/vim/vim/commit/d85f271bf8516dbd90be4d18f905f0abbfcd6db6
Author: Bram Moolenaar <Bram@vim.org>
Date: Fri Jul 28 21:51:57 2017 +0200
patch 8.0.0797: finished job in terminal window is not handled
Problem: Finished job in terminal window is not handled.
Solution: Add the scrollback buffer. Use it to fill the buffer when the job
has ended.
| author | Christian Brabandt <cb@256bit.org> |
|---|---|
| date | Fri, 28 Jul 2017 22:00:04 +0200 |
| parents | 74abb6c84984 |
| children | d033653d3df8 |
comparison
equal
deleted
inserted
replaced
| 11833:ffd6764d564e | 11834:0cfe4a07c2ad |
|---|---|
| 2919 for (part = PART_SOCK; part < PART_IN; ++part) | 2919 for (part = PART_SOCK; part < PART_IN; ++part) |
| 2920 drop_messages(channel, part); | 2920 drop_messages(channel, part); |
| 2921 } | 2921 } |
| 2922 | 2922 |
| 2923 channel->ch_nb_close_cb = NULL; | 2923 channel->ch_nb_close_cb = NULL; |
| 2924 | |
| 2925 #ifdef FEAT_TERMINAL | |
| 2926 term_channel_closed(channel); | |
| 2927 #endif | |
| 2924 } | 2928 } |
| 2925 | 2929 |
| 2926 /* | 2930 /* |
| 2927 * Close the "in" part channel "channel". | 2931 * Close the "in" part channel "channel". |
| 2928 */ | 2932 */ |
| 4694 /* The job was already unreferenced and the associated channel was | 4698 /* The job was already unreferenced and the associated channel was |
| 4695 * detached, now that it ended it can be freed. Careful: caller must | 4699 * detached, now that it ended it can be freed. Careful: caller must |
| 4696 * not use "job" after this! */ | 4700 * not use "job" after this! */ |
| 4697 job_free(job); | 4701 job_free(job); |
| 4698 } | 4702 } |
| 4699 | |
| 4700 #ifdef FEAT_TERMINAL | |
| 4701 term_job_ended(job); | |
| 4702 #endif | |
| 4703 } | 4703 } |
| 4704 | 4704 |
| 4705 /* | 4705 /* |
| 4706 * Mark references in jobs that are still useful. | 4706 * Mark references in jobs that are still useful. |
| 4707 */ | 4707 */ |