Merge pull request #699 from Alizter/ps/rr/cleanup_command_names

[vscode] cleanup command names
ejgallego · May 18, 2024 · 5d1a523 · 5d1a523
2 parents 0840d03 + 84a7611
commit 5d1a523
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/editor/code/package.json b/editor/code/package.json
@@ -92,27 +92,27 @@
       },
       {
         "command": "coq-lsp.goals",
-        "title": "Coq LSP: Show Goals at Point"
+        "title": "Coq LSP: Show Goals at point"
       },
       {
         "command": "coq-lsp.document",
-        "title": "Coq LSP: Display current Coq document in JSON format"
+        "title": "Coq LSP: Serialize document to JSON"
       },
       {
         "command": "coq-lsp.save",
         "title": "Coq LSP: Save .vo file for the current buffer"
       },
       {
         "command": "coq-lsp.trim",
-        "title": "Coq LSP: Request the server to trim caches and compact memory (useful to try reduce memory comsumption)"
+        "title": "Coq LSP: Free memory"
       },
       {
         "command": "coq-lsp.sentenceNext",
-        "title": "Coq LSP: try to jump to next Coq sentence"
+        "title": "Coq LSP: Try to jump to next Coq sentence"
       },
       {
         "command": "coq-lsp.sentencePrevious",
-        "title": "Coq LSP: try to jump to previous Coq sentence"
+        "title": "Coq LSP: Try to jump to previous Coq sentence"
       },
       {
         "command": "coq-lsp.heatmap.toggle",