1
0
forked from aniani/vim
Commit Graph

1 Commits

Author SHA1 Message Date
Bram Moolenaar
07dc18ffa4 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.
2018-11-30 22:48:32 +01:00