Files
neovim/runtime/doc
Justin M. Keyes c48b1421af 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`
2023-06-06 08:23:20 -07:00
..
2023-06-02 22:59:58 +08:00
2023-04-23 15:22:55 +02:00
2023-05-13 21:33:22 +02:00
2023-04-17 15:46:24 +08:00
2023-04-23 15:22:55 +02:00
2023-05-13 21:33:22 +02:00
2023-04-04 19:07:33 +02:00
2023-05-13 21:33:22 +02:00
2023-04-23 15:22:55 +02:00
2021-09-10 08:48:27 +02:00
2023-05-13 21:33:22 +02:00
2023-01-01 15:05:13 +01:00
2023-04-23 15:22:55 +02:00
2023-05-13 21:33:22 +02:00
2023-05-15 09:38:32 +02:00
2023-05-13 21:33:22 +02:00
2023-04-13 12:15:30 +02:00
2023-05-13 21:33:22 +02:00
2023-05-13 21:33:22 +02:00
2023-05-13 21:33:22 +02:00
2023-06-02 22:59:58 +08:00
2023-06-06 06:38:45 -07:00
2023-06-02 22:59:58 +08:00
2023-05-15 09:38:32 +02:00
2023-01-01 15:05:13 +01:00
2022-10-14 08:01:13 -07:00
2023-02-22 00:07:26 +08:00
2022-12-11 18:41:26 -08:00
2023-06-05 02:19:05 -07:00
2018-10-29 09:55:07 +01:00
2023-05-15 09:38:32 +02:00
2018-10-29 09:55:07 +01:00
2023-05-13 21:33:22 +02:00
2015-08-15 15:25:30 -03:00
2023-04-23 15:22:55 +02:00
2023-06-02 22:59:58 +08:00
2023-05-13 21:33:22 +02:00
2023-04-23 15:22:55 +02:00
2023-02-22 00:07:26 +08:00
2023-01-01 15:05:13 +01:00
2023-05-13 21:33:22 +02:00
2023-05-13 21:33:22 +02:00
2023-04-04 19:07:33 +02:00
2023-04-04 19:07:33 +02:00
2023-05-13 21:33:22 +02:00
2022-09-26 17:43:23 +08:00
2023-02-20 15:12:59 +08:00
2023-05-15 09:38:32 +02:00
2023-01-01 15:05:13 +01:00
2023-05-13 21:33:22 +02:00
2022-07-26 11:26:23 +02:00
2023-05-15 09:38:32 +02:00
2023-04-23 15:22:55 +02:00
2023-04-11 19:10:36 +02:00
2023-01-03 10:07:43 +00:00
2023-04-13 12:15:30 +02:00
2021-05-01 22:29:02 -04:00
2021-05-02 12:53:49 -04:00
2021-05-01 22:29:03 -04:00
2021-04-27 09:21:33 -04:00
2018-10-29 10:01:44 +01:00
2021-04-29 09:27:19 -04:00
2018-10-29 10:01:44 +01:00
2021-04-29 20:42:16 -04:00
2019-03-26 19:55:33 +01:00
2021-04-27 09:21:34 -04:00
2023-01-03 10:07:43 +00:00
2023-01-03 10:07:43 +00:00
2023-06-05 02:19:05 -07:00
2023-05-13 21:33:22 +02:00
2023-02-22 00:07:26 +08:00