From 84a7611a51dbec3f2cc9332f3d13b7f977ecafec Mon Sep 17 00:00:00 2001 From: Ali Caglayan Date: Thu, 9 May 2024 15:45:52 +0100 Subject: [PATCH] cleanup command names Signed-off-by: Ali Caglayan --- editor/code/package.json | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/editor/code/package.json b/editor/code/package.json index 0511545e..979214af 100644 --- a/editor/code/package.json +++ b/editor/code/package.json @@ -92,11 +92,11 @@ }, { "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", @@ -104,15 +104,15 @@ }, { "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",