Release version 1.0.1

CHANGELOG.md

@@ -1,5 +1,8 @@
 # Change Log
 
+### 1.0.1
+* Fix run editor error on windows with default terminal configurations
+
 ### 1.0.0
 * Refactor the whole plugin with gdscript language server support
 * Add webview renderer to show documentations of native symbols.

package.json

@@ -2,7 +2,7 @@
 	"name": "godot-tools",
 	"displayName": "godot-tools",
 	"icon": "icon.png",
-	"version": "1.0.0",
+	"version": "1.0.1",
 	"description": "Tools for game development with godot game engine",
 	"repository": "https://github.com/godotengine/godot-vscode-plugin",
 	"author": "The Godot Engine community",
@@ -106,7 +106,7 @@
 		"@types/ws": "^6.0.1",
 		"tslint": "^5.16.0",
 		"typescript": "^3.5.1",
-		"@types/vscode": "^1.40.0"
+		"@types/vscode": "^1.33.0"
 	},
 	"dependencies": {
 		"global": "^4.4.0",

src/godot-tools.ts

@@ -68,10 +68,13 @@ export class GodotTools {
 			const run_godot = (path: string, params: string) => {
 				const escape_command = (cmd: string) => {
 					let cmdEsc = `"${cmd}"`;
-					const shell_plugin = vscode.workspace.getConfiguration("terminal.integrated.shell");
-					let shell = shell_plugin ? shell_plugin.get("windows", "") || "" : "";
-					if (process.platform === "win32" && shell.endsWith("powershell.exe")) {
-						cmdEsc = `&${cmdEsc}`;
+					if (process.platform === "win32") {
+						const POWERSHELL = "powershell.exe";
+						const shell_plugin = vscode.workspace.getConfiguration("terminal.integrated.shell");
+						let shell = (shell_plugin ? shell_plugin.get("windows", POWERSHELL) : POWERSHELL) || POWERSHELL;
+						if (shell.endsWith(POWERSHELL)) {
+							cmdEsc = `&${cmdEsc}`;
+						}
 					}
 					return cmdEsc;
 				};