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

732 B

Raw Blame History

View Raw