1
0
forked from aniani/vim

patch 8.1.1768: man plugin changes setting in current window

Problem:    Man plugin changes setting in current window.
Solution:   Set options later. (Jason Franklin)
This commit is contained in:
Bram Moolenaar
2019-07-28 15:28:45 +02:00
parent f96ae0b5a2
commit bca9c30193
3 changed files with 34 additions and 8 deletions

View File

@@ -777,6 +777,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
1768,
/**/
1767,
/**/