diff Makefile @ 15085:1783c0b6bc2e v8.1.0553

patch 8.1.0553: it is not easy to edit a script that was sourced commit https://github.com/vim/vim/commit/07dc18ffa4e7ed202f219fe2fd3d6f58246f71f9 Author: Bram Moolenaar <Bram@vim.org> Date: Fri Nov 30 22:48:32 2018 +0100 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.
author Bram Moolenaar <Bram@vim.org>
date Fri, 30 Nov 2018 23:00:06 +0100
parents 1174611ad715
children 963c1967f917
line wrap: on
line diff