Wed, 09 Jan 2019 22:30:06 +0100 |
Bram Moolenaar |
Added tag v8.1.0710 for changeset 440e5071f3f8cc8fec525c948dc4db491008dccb
|
Wed, 09 Jan 2019 22:30:06 +0100 |
Bram Moolenaar |
patch 8.1.0710: when using timers may wait for job exit quite long
v8.1.0710
|
Wed, 09 Jan 2019 22:00:06 +0100 |
Bram Moolenaar |
Added tag v8.1.0709 for changeset c17b5e30a0afa3b69e56e373db04b42bf330af28
|
Wed, 09 Jan 2019 22:00:05 +0100 |
Bram Moolenaar |
patch 8.1.0709: windows are updated for every added/deleted sign
v8.1.0709
|
Wed, 09 Jan 2019 21:00:07 +0100 |
Bram Moolenaar |
Added tag v8.1.0708 for changeset ac5542aadd9c75c152de6263b91e6d1aa68f020b
|
Wed, 09 Jan 2019 21:00:07 +0100 |
Bram Moolenaar |
patch 8.1.0708: third argument for redrawWinline() is always FALSE
v8.1.0708
|
Tue, 08 Jan 2019 23:15:06 +0100 |
Bram Moolenaar |
Added tag v8.1.0707 for changeset 3e02464faaac2ef6983184c904ddb6c852492b24
|
Tue, 08 Jan 2019 23:15:05 +0100 |
Bram Moolenaar |
patch 8.1.0707: text property columns are not adjusted for changed indent
v8.1.0707
|