Commit Graph

35 Commits

Author SHA1 Message Date
github-actions[bot]
fb30a8603d docs: update configs.md
skip-checks: true
2024-11-06 05:39:04 +00:00
github-actions[bot]
59a6766cbf docs: update configs.md
skip-checks: true
2024-10-28 12:29:34 +00:00
github-actions[bot]
4ab7476f1e docs: update configs.md
skip-checks: true
2024-10-28 11:47:28 +00:00
github-actions[bot]
28b205ebe7 docs: update configs.md
skip-checks: true
2024-10-26 00:16:03 +00:00
github-actions[bot]
85afd4b936 docs: update configs.md
skip-checks: true
2024-10-24 17:28:29 +00:00
Justin M. Keyes
a4a0cf9b39
feat(docs): improve formatting of generated docs #3400 2024-10-24 10:28:14 -07:00
github-actions[bot]
dc997ac334 docs: update configs.md
skip-checks: true
2024-10-24 16:36:34 +00:00
github-actions[bot]
f9827a4fc6 docs: update configs.md
skip-checks: true
2024-10-24 16:27:37 +00:00
github-actions[bot]
a098f40635 docs: update configs.md
skip-checks: true
2024-10-24 15:47:49 +00:00
Justin M. Keyes
de417a11ec regen docs 2024-10-24 17:39:27 +02:00
github-actions[bot]
831892d15c docs: update configs.md
skip-checks: true
2024-10-24 11:47:53 +00:00
github-actions[bot]
6db8e0ec01 docs: update configs.md
skip-checks: true
2024-10-18 13:02:59 +00:00
Justin M. Keyes
679d978e64 fix(lspinfo)!: remove config.lspinfo
Problem:
`config.lspinfo` is an undocumented feature that allows extending the
info shown in `:LspInfo` (`:checkhealth lspconfig`).
This feature is unwanted because:
- it's undocumented
- it adds a maintenance burden
- it provides info that should be derived from the LSP protocol itself.

Solution:
Remove support for `config.lspinfo`.
Instead, `:LspInfo` (`:checkhealth lspconfig`) should be enhanced to
automatically gather this kind of extra info from the server response.
2024-10-18 12:30:55 +02:00
github-actions[bot]
9b2509f17c docs: update configs.md
skip-checks: true
2024-10-15 16:02:50 +00:00
github-actions[bot]
7c4d0f77b8 docs: update configs.md
skip-checks: true
2024-10-14 15:39:35 +00:00
github-actions[bot]
a6d018546c docs: update configs.md
skip-checks: true
2024-10-14 15:07:22 +00:00
github-actions[bot]
4c2faa4e1b docs: update configs.md
skip-checks: true
2024-10-14 06:58:03 +00:00
github-actions[bot]
d141895d1d docs: update configs.md
skip-checks: true
2024-10-12 05:26:19 +00:00
github-actions[bot]
c38af37e4e docs: update configs.md
skip-checks: true
2024-10-11 05:28:48 +00:00
Justin M. Keyes
ff69ecca55 docs: fix old URL 2024-10-09 20:52:54 +02:00
github-actions[bot]
d3f169f436 docs: update configs.md
skip-checks: true
2024-10-09 08:28:36 +00:00
github-actions[bot]
ba1057cba0 docs: update configs.md
skip-checks: true
2024-10-09 05:22:56 +00:00
github-actions[bot]
04680101ff docs: update configs.md
skip-checks: true
2024-10-07 05:17:58 +00:00
Rui Chen
97627effc2
fix(harper_ls): filetype "csharp" -> "cs" #3358 2024-10-06 11:41:37 -07:00
github-actions[bot]
f464b15e6b docs: update configs.md
skip-checks: true
2024-10-06 10:40:19 +00:00
github-actions[bot]
d78f318d71 docs: update configs.md
skip-checks: true
2024-10-06 00:58:09 +00:00
github-actions[bot]
62456f4c08 docs: update configs.md
skip-checks: true
2024-10-04 06:39:10 +00:00
github-actions[bot]
c9ac9613ad docs: update configs.md
skip-checks: true
2024-10-04 05:36:35 +00:00
github-actions[bot]
5408121379 docs: update configs.md
skip-checks: true
2024-10-03 19:31:11 +00:00
github-actions[bot]
1356515e81 docs: update configs.md
skip-checks: true
2024-10-02 10:29:25 +00:00
github-actions[bot]
9018ac8bf4 docs: update configs.md
skip-checks: true
2024-10-02 10:09:28 +00:00
github-actions[bot]
6d25cf12a0 docs: update configs.md
skip-checks: true
2024-10-02 05:44:07 +00:00
github-actions[bot]
1aded0f907 docs: update configs.md
skip-checks: true
2024-10-01 14:20:25 +00:00
github-actions[bot]
8ab8f4cf48 docs: update configs.md
skip-checks: true
2024-10-01 12:39:24 +00:00
Justin M. Keyes
bedb2a0df1
refactor: rename "server_configurations" => "configs" #3330
Problem:
The name `server_configurations` is extremely verbose and irritatingly
formal and dogmatic. This overlong name is a constant nuisance when
reading, writing, and coding.

It's also not even correct: these configurations are just as much
"client" configurations as they are "server" configurations.

Solution:
- Rename to a shorter name.
- Leave placeholder files for any old URLs that link to the old
  location.
2024-10-01 05:39:12 -07:00