Sat, 20 Jul 2019 17:00:08 +0200 |
Bram Moolenaar |
patch 8.1.1718: popup menu highlighting does not look good
v8.1.1718
|
Sat, 20 Jul 2019 15:15:07 +0200 |
Bram Moolenaar |
Added tag v8.1.1717 for changeset 967e2ee9b656206e39b33e6d10aab417f930b1b0
|
Sat, 20 Jul 2019 15:15:05 +0200 |
Bram Moolenaar |
patch 8.1.1717: last char in menu popup window highlighted
v8.1.1717
|
Fri, 19 Jul 2019 23:30:05 +0200 |
Bram Moolenaar |
Added tag v8.1.1716 for changeset e1b5c15f5fee70aaa68aa8286030cf713a403aee
|
Fri, 19 Jul 2019 23:30:04 +0200 |
Bram Moolenaar |
patch 8.1.1716: old style comments are wasting space
v8.1.1716
|
Fri, 19 Jul 2019 23:15:07 +0200 |
Bram Moolenaar |
Added tag v8.1.1715 for changeset 26e8d42987ca9a34896db62ec401453a173e110f
|
Fri, 19 Jul 2019 23:15:05 +0200 |
Bram Moolenaar |
patch 8.1.1715: emoji characters are seen as word characters for spelling
v8.1.1715
|
Fri, 19 Jul 2019 22:15:08 +0200 |
Bram Moolenaar |
Update runtime files
|