diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2023-06-06 08:23:20 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-06 08:23:20 -0700 |
| commit | c48b1421af28d0317c807bca00c7e2fff97d9ad0 (patch) | |
| tree | 6737f131d5dc773318ee9816ca7b7b92af4702ea /scripts/gen_vimdoc.py | |
| parent | 175e5c8b96fe0756040fcb31f46d9c97b3957776 (diff) | |
| download | rneovim-c48b1421af28d0317c807bca00c7e2fff97d9ad0.tar.gz rneovim-c48b1421af28d0317c807bca00c7e2fff97d9ad0.tar.bz2 rneovim-c48b1421af28d0317c807bca00c7e2fff97d9ad0.zip | |
refactor!: rename "playground" => "dev" #23919
Problem:
"playground" is new jargon that overlaps with existing concepts:
"dev" (`:help dev`) and "view" (also "scratch" `:help scratch-buffer`) .
Solution:
We should consistently use "dev" as the namespace for where "developer
tools" live. For purposes of a "throwaway sandbox object", we can use
the name "view".
- Rename `TSPlayground` => `TSView`
- Rename `playground.lua` => `dev.lua`
Diffstat (limited to 'scripts/gen_vimdoc.py')
| -rwxr-xr-x | scripts/gen_vimdoc.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/gen_vimdoc.py b/scripts/gen_vimdoc.py index e9209e219e..b40f8526ea 100755 --- a/scripts/gen_vimdoc.py +++ b/scripts/gen_vimdoc.py @@ -275,7 +275,7 @@ CONFIG = { 'query.lua', 'highlighter.lua', 'languagetree.lua', - 'playground.lua', + 'dev.lua', ], 'files': [ 'runtime/lua/vim/treesitter.lua', |