branch: externals/eglot
commit c962f6e5f61cf3e1d24607484d310197ebebf259
Author: João Távora <joaotav...@gmail.com>
Commit: João Távora <joaotav...@gmail.com>
Rework table of contents in README.md again
* README.md (top): Provide a link to "Workspace configuration"
heading.
---
README.md | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/README.md b/README.md
index b0b54ad064..3627640321 100644
--- a/README.md
+++ b/README.md
@@ -8,8 +8,11 @@
way:
* 📽 Scroll down this README for some [pretty gifs](#animated_gifs)
-* 📚 Read about [servers](#connecting), [commands and
- keybindings](#commands), and [customization](#customization)
+* 📚 Read about:
+ - [Connecting to a server](#connecting)
+ - [Commands and keybindings](#commands)
+ - [Workspace configuration](#workspace-configuration)
+ - [Customization](#customization)
* 📣 Read the [NEWS][news] file
* 🏆 Folks over at Google [seem to like it][gospb]. Thanks!
@@ -128,6 +131,7 @@ it be started as a server. Notice the `:autoport` symbol
in there: it
is replaced dynamically by a local port believed to be vacant, so that
the ensuing TCP connection finds a listening server.
+<a name="workspace-configuration"></a>
## Workspace configuration
Many servers can guess good defaults and operate nicely
