diff options
| author | Bram Moolenaar <Bram@vim.org> | 2019-01-27 16:55:47 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2019-01-27 16:55:47 +0100 |
| commit | e40b9d47bf8f8f716d3ef5a95c8ecbbdc0a501f9 (patch) | |
| tree | 7891a85cc4c4d8f9c173309dfdf7e870777a8046 /src/version.c | |
| parent | d93090f41f70c521cfad5b25efcb0024b9480082 (diff) | |
patch 8.1.0834: GUI may wait too long before dealing with messagesv8.1.0834
Problem: GUI may wait too long before dealing with messages. Returning
early may cause a mapping to time out.
Solution: Use the waiting loop from Unix also for the GUI.
(closes #3817, closes #3824)
Diffstat (limited to 'src/version.c')
| -rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index 9572886632..0a6dce29f9 100644 --- a/src/version.c +++ b/src/version.c @@ -784,6 +784,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 834, +/**/ 833, /**/ 832, |