0
0
mirror of https://github.com/vim/vim.git synced 2025-09-28 04:24:06 -04:00

patch 8.1.0553: it is not easy to edit a script that was sourced

Problem:    It is not easy to edit a script that was sourced.
Solution:   Add a count to ":scriptnames", so that ":script 40" edits the
            script with script ID 40.
This commit is contained in:
Bram Moolenaar
2018-11-30 22:48:32 +01:00
parent 01a060da74
commit 07dc18ffa4
7 changed files with 58 additions and 12 deletions

View File

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