|
@@ -272,7 +272,7 @@ export class GodotTools {
|
|
|
|
|
|
let host = get_configuration("gdscript_lsp_server_host", "localhost");
|
|
let host = get_configuration("gdscript_lsp_server_host", "localhost");
|
|
let port = get_configuration("gdscript_lsp_server_port", 6008);
|
|
let port = get_configuration("gdscript_lsp_server_port", 6008);
|
|
- let message = `Couldn't connect to the GDScript language server at ${host}:${port}`;
|
|
|
|
|
|
+ let message = `Couldn't connect to the GDScript language server at ${host}:${port}. Is the Godot editor running?`;
|
|
vscode.window.showErrorMessage(message, 'Open Godot Editor', 'Retry', 'Ignore').then(item => {
|
|
vscode.window.showErrorMessage(message, 'Open Godot Editor', 'Retry', 'Ignore').then(item => {
|
|
if (item == 'Retry') {
|
|
if (item == 'Retry') {
|
|
this.reconnection_attempts = 0;
|
|
this.reconnection_attempts = 0;
|