commit | 05af9a419198245f0810301ac9a3d59a9432ef21 | [log] [tgz] |
---|---|---|
author | Bram Moolenaar <Bram@vim.org> | Mon May 21 18:48:12 2018 +0200 |
committer | Bram Moolenaar <Bram@vim.org> | Mon May 21 18:48:12 2018 +0200 |
tree | 8b9ef822244632edb2c3d6ca90fd15e1278eb7e2 | |
parent | 6053f2d29a979ffed1fe01b0a2f28e23750530e9 [diff] [blame] |
patch 8.1.0015: cursor color wrong when closing a terminal window Problem: Cursor color wrong when closing a terminal window, ending up in another terminal window. (Dominique Pelle) Solution: Bail out of terminal_loop() when the buffer changes. (closes #2942)
diff --git a/src/version.c b/src/version.c index 41973d7..d1a75a1 100644 --- a/src/version.c +++ b/src/version.c
@@ -762,6 +762,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 15, +/**/ 14, /**/ 13,