Merge branch 'topic/vscode-ext-name' into 'master'

eliericha · eliericha · commit 8d1530416be2 · 2023-11-30T17:14:52.000Z
Change the VS Code extension name

Closes #1260

See merge request eng/ide/ada_language_server!1454
diff --git a/integration/vscode/ada/package.json b/integration/vscode/ada/package.json
@@ -1,6 +1,6 @@
 {
     "name": "ada",
-    "displayName": "Ada",
+    "displayName": "Ada & SPARK",
     "description": "Ada & SPARK IntelliSense, code browsing, debugging and more.",
     "version": "24.0.999",
     "publisher": "AdaCore",

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "ada",`
`3`		`- "displayName": "Ada",`
	`3`	`+ "displayName": "Ada & SPARK",`
`4`	`4`	`"description": "Ada & SPARK IntelliSense, code browsing, debugging and more.",`
`5`	`5`	`"version": "24.0.999",`
`6`	`6`	`"publisher": "AdaCore",`