0
0
mirror of https://github.com/vim/vim.git synced 2025-09-25 03:54:15 -04:00
Files
vim/runtime
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
..
2018-11-16 16:13:44 +01:00
2018-06-19 14:35:59 +02:00
2018-09-02 21:07:30 +02:00
2018-09-10 11:51:50 +02:00
2018-02-27 14:53:30 +01:00
2018-11-16 16:13:44 +01:00
2018-11-04 14:45:49 +01:00
2018-08-28 22:58:02 +02:00
2018-11-16 16:13:44 +01:00
2018-02-27 17:11:01 +01:00
2018-11-25 03:56:26 +01:00
2018-11-04 14:45:49 +01:00
2018-11-16 16:13:44 +01:00
2017-09-27 22:23:55 +02:00
2011-10-20 18:12:32 +02:00
2018-07-15 20:20:18 +02:00
2016-04-05 22:07:04 +02:00
2018-05-17 17:04:55 +02:00
2018-07-21 05:56:22 +02:00
2016-07-19 21:05:21 +02:00
2018-02-27 14:53:30 +01:00
2018-05-17 17:04:55 +02:00
2018-07-15 20:20:18 +02:00
2013-11-03 21:14:31 +01:00
2017-09-27 22:23:55 +02:00