Merge pull request #772 from voideditor/mcp

fix
This commit is contained in:
Andrew Pareles 2025-06-22 21:26:34 -07:00 committed by GitHub
commit b739e99a1e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 9 additions and 6 deletions

View file

@ -1,8 +1,8 @@
{
"nameShort": "Void",
"nameLong": "Void",
"voidVersion": "1.4.6",
"voidRelease": "0041",
"voidVersion": "1.4.7",
"voidRelease": "0042",
"applicationName": "void",
"dataFolderName": ".void-editor",
"win32MutexName": "voideditor",

View file

@ -32,6 +32,12 @@ export class VoidMainUpdateService extends Disposable implements IVoidUpdateServ
return { message: null } as const
}
// if disabled and not explicitly checking, return early
if (this._updateService.state.type === StateType.Disabled) {
if (!explicit)
return { message: null } as const
}
this._updateService.checkForUpdates(false) // implicity check, then handle result ourselves
console.log('updateState', this._updateService.state)
@ -77,10 +83,7 @@ export class VoidMainUpdateService extends Disposable implements IVoidUpdateServ
}
if (this._updateService.state.type === StateType.Disabled) {
if (explicit)
return await this._manualCheckGHTagIfDisabled(explicit)
else
return { message: null, } as const
return await this._manualCheckGHTagIfDisabled(explicit)
}
return null
}