tree 0f90735531cc4595bb0900cd3bd05684bf1640d9
parent 3629652b9d2d31e53e1d4d09a5013c184222e75c
author Alan Donovan <adonovan@google.com> 1716320545 -0400
committer Alan Donovan <adonovan@google.com> 1716513053 +0000

gopls/doc: split codelenses out of settings

This CL splits codelenses.md out of settings.md, since
they aren't settings.

This reduces the indentation level of settings by one,
since we can dispense with a heading. Also, don't increase
the <h%d> nesting level for each level of nested dotted options:
ui.foo.bar should not be rendered smaller than ui.foo.
Use only h2 for groupings and h3 for settings.

Also:
- improve the introduction.
- add anchors for groupings.
- delete handwritten .md doc for obsolete newDiff setting.
- add TODOs for some existing bugs in the generator.

Change-Id: If6e7fff028b2c372e0d766d3d092bd0e41d61486
Reviewed-on: https://go-review.googlesource.com/c/tools/+/586879
Reviewed-by: Robert Findley <rfindley@google.com>
Auto-Submit: Alan Donovan <adonovan@google.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>