Improve grouping of the navigation bar

This commit is contained in:
Dirk Baeumer 2018-01-08 17:26:30 +01:00
parent bb89dfdf6e
commit 147c228a39

View file

@ -47,8 +47,8 @@
anchor: workspace_executeCommand
- title: applyEdit
anchor: workspace_applyEdit
- title: Text Document
anchor: textDocument
- title: Text Synchronization
anchor: textSynchronization
children:
- title: didOpen
anchor: textDocument_didOpen
@ -62,8 +62,14 @@
anchor: textDocument_didSave
- title: didClose
anchor: textDocument_didClose
- title: Diagnostics
anchor: diagnostics
children:
- title: publishDiagnostics
anchor: textDocument_publishDiagnostics
- title: Language Features
anchor: languageFeatures
children:
- title: completion
anchor: textDocument_completion
- title: resolve