diff options
author | GuyBrush <miguel.barro@live.com> | 2024-01-14 20:08:40 +0100 |
---|---|---|
committer | Christian Brabandt <cb@256bit.org> | 2024-01-14 20:08:40 +0100 |
commit | 1f13fcc9342e66842bf9847d01e585ea2c2b6b30 (patch) | |
tree | 3cbff23d9ff204226fabe5b83c108f7849978b9b /runtime/syntax | |
parent | 8102a4c463c21f3bba4f27f0dbc402b9850de915 (diff) |
patch 9.1.0028: win32: Ctrl-D cannot be used to close a pipev9.1.0028
Problem: win32: Ctrl-D cannot be used to close a pipe
Solution: Properly detect Ctrl-D when reading from a pipe
(GuyBrush)
Enabling Ctrl-D for gvim pipeline input
and apply defensive programming on account of PR #12752
so that once PR 12752 is merged, CTRL-D will keep on working
closes: #13849
Signed-off-by: GuyBrush <miguel.barro@live.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
Diffstat (limited to 'runtime/syntax')
0 files changed, 0 insertions, 0 deletions