| commit | 0e0b3dd335b863603b9a2d415ef18d983e2467ae | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Thu Mar 17 17:58:56 2016 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Thu Mar 17 17:58:56 2016 +0100 |
| tree | 49f4b8c059aca96300b8dfc0cf950b88f2659996 | |
| parent | 597385ab43093ba27adcb86cdc1b46aba86a0093 [diff] [blame] |
patch 7.4.1584 Problem: Timers don't work for Win32 console. Solution: Add check_due_timer() in WaitForChar().
diff --git a/src/version.c b/src/version.c index 20f3e07..ae550bc 100644 --- a/src/version.c +++ b/src/version.c
@@ -749,6 +749,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1584, +/**/ 1583, /**/ 1582,