From 7510354949f328a6b30ca0d1bb36e10f7c3c7f33 Mon Sep 17 00:00:00 2001 From: tonis2 Date: Wed, 8 Jan 2025 12:36:37 +0200 Subject: [PATCH] Edit settings title --- package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.json b/package.json index ecca5cd..a5026a5 100644 --- a/package.json +++ b/package.json @@ -49,7 +49,7 @@ "configuration": [ { "type": "object", - "title": "Language Server", + "title": "Extension settings", "properties": { "c3.stdlib-path": { "type": "string",