| commit | 4af031dbc8d62f89c94072a406f6d2ec0e5200be | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Tue Dec 19 10:02:43 2017 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Tue Dec 19 10:02:43 2017 +0100 |
| tree | 8a801467610e98143f5c1d5af76718da67b3b47b | |
| parent | b254af312d1696b12367085acfbe41a41b7f1ea5 [diff] [blame] |
patch 8.0.1407: GUI: CursorHold may trigger before 'updatetime' Problem: GUI: CursorHold may trigger before 'updatetime' when using timers. Solution: Check that 'updatetime' has passed.
diff --git a/src/version.c b/src/version.c index a2336f8..c384ff0 100644 --- a/src/version.c +++ b/src/version.c
@@ -772,6 +772,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1407, +/**/ 1406, /**/ 1405,