| commit | 4231da403e3c879dd6ac261e51f4ca60813935e3 | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Thu Jun 02 14:30:04 2016 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Thu Jun 02 14:30:04 2016 +0200 |
| tree | d0c43a8b05ae0a727db41ac821ffc36df6d37880 | |
| parent | c4bc0e6542185b659d2a165b635f9561549071ea [diff] [blame] |
patch 7.4.1873
Problem: When a callback adds a timer the GUI doesn't use it until later.
(Ramel Eshed)
Solution: Return early if a callback adds a timer.
diff --git a/src/version.c b/src/version.c index b87300a..3c04195 100644 --- a/src/version.c +++ b/src/version.c
@@ -754,6 +754,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1873, +/**/ 1872, /**/ 1871,