You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -406,21 +411,21 @@ export class WorkspaceD extends EventEmitter implements
406
411
}
407
412
}
408
413
409
-
privatecheckVersion(){
414
+
publiccheckVersion(){
410
415
this.request({cmd: "version"}).then(version=>{
411
416
if(version.major<TARGET_VERSION[0])
412
-
returnvscode.window.showErrorMessage("workspace-d is outdated! (target="+formatVersion(TARGET_VERSION)+", workspaced="+formatVersion([version.major,version.minor,version.patch])+")");
413
-
if(version.minor<TARGET_VERSION[1])
414
-
returnvscode.window.showErrorMessage("workspace-d is outdated! (target="+formatVersion(TARGET_VERSION)+", workspaced="+formatVersion([version.major,version.minor,version.patch])+")");
415
-
if(version.path<TARGET_VERSION[2])
416
-
returnvscode.window.showErrorMessage("workspace-d is outdated! (target="+formatVersion(TARGET_VERSION)+", workspaced="+formatVersion([version.major,version.minor,version.patch])+")");
417
+
returnvscode.window.showErrorMessage("workspace-d is outdated! Please update to continue using this plugin. (target="+formatVersion(TARGET_VERSION)+", workspaced="+formatVersion([version.major,version.minor,version.patch])+")");
vscode.window.showWarningMessage("workspace-d might be outdated! Please update if things are not working as expected. (target="+formatVersion(TARGET_VERSION)+", workspaced="+formatVersion([version.major,version.minor,version.patch])+")");
vscode.window.showInformationMessage("workspace-d has a new optional update! Please update before submitting a bug report. (target="+formatVersion(TARGET_VERSION)+", workspaced="+formatVersion([version.major,version.minor,version.patch])+")");
417
422
this.setupDub();
418
423
},()=>{
419
424
vscode.window.showErrorMessage("Could not identify workspace-d version. Please update workspace-d!");
0 commit comments