Better VSCode publisher and extension names.

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>

README.md

@@ -1,6 +1,6 @@
 # TLA<sup>+</sup> for Visual Studio Code
 
-[![Build Status](https://img.shields.io/github/actions/workflow/status/tlaplus/vscode-tlaplus/ci.yml?branch=master)](https://github.com/tlaplus/vscode-tlaplus/actions?query=workflow%3ACI) [![VS Code extension version](https://img.shields.io/visual-studio-marketplace/i/tlaplus-lang?color=blue&label=Stable%20Release&style=flat-square)](https://marketplace.visualstudio.com/items?itemName=tlaplus-lang.tlaplus-lang)
+[![Build Status](https://img.shields.io/github/actions/workflow/status/tlaplus/vscode-tlaplus/ci.yml?branch=master)](https://github.com/tlaplus/vscode-tlaplus/actions?query=workflow%3ACI) [![VS Code extension version](https://img.shields.io/visual-studio-marketplace/i/tlaplus?color=blue&label=Stable%20Release&style=flat-square)](https://marketplace.visualstudio.com/items?itemName=tlaplus.vscode-ide)
 
 This extension adds support for the [TLA<sup>+</sup> formal specification language](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html) to VS Code. It also supports running the TLC model checker on TLA<sup>+</sup> specifications.
 

package.json

@@ -1,9 +1,9 @@
 {
-    "name": "tlaplus-lang",
+    "name": "vscode-ide",
     "displayName": "TLA+ (Temporal Logic of Actions)",
     "version": "1.7.0",
     "description": "TLA+ language support",
-    "publisher": "tlaplus-lang",
+    "publisher": "tlaplus",
     "license": "MIT",
     "author": {
         "name": "TLA+ Community"

src/tla2tools.ts

@@ -10,7 +10,7 @@ import { ToolOutputChannel } from './outputChannels';
 import { JavaVersionParser } from './parsers/javaVersion';
 
 // CFG_EXTENSION can be used to fetch all the settings for this extension
-const CFG_EXTENSION = '@ext:tlaplus-lang.tlaplus-lang';
+const CFG_EXTENSION = '@ext:tlaplus.vscode-ide';
 
 const CFG_JAVA_HOME = 'tlaplus.java.home';
 const CFG_JAVA_OPTIONS = 'tlaplus.java.options';