Move DistributionUpdateConfig to top level
This commit is contained in:
@@ -211,6 +211,12 @@ export interface CodeQLExtensionInterface {
|
|||||||
readonly dispose: () => void;
|
readonly dispose: () => void;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
interface DistributionUpdateConfig {
|
||||||
|
isUserInitiated: boolean;
|
||||||
|
shouldDisplayMessageWhenNoUpdates: boolean;
|
||||||
|
allowAutoUpdating: boolean;
|
||||||
|
}
|
||||||
|
|
||||||
// This is the minimum version of vscode that we _want_ to support. We want to update the language server library, but that
|
// This is the minimum version of vscode that we _want_ to support. We want to update the language server library, but that
|
||||||
// requires 1.67 or later. If we change the minimum version in the package.json, then anyone on an older version of vscode
|
// requires 1.67 or later. If we change the minimum version in the package.json, then anyone on an older version of vscode
|
||||||
// silently be unable to upgrade. So, the solution is to first bump the minimum version here and release. Then
|
// silently be unable to upgrade. So, the solution is to first bump the minimum version here and release. Then
|
||||||
@@ -267,12 +273,6 @@ export async function activate(
|
|||||||
// Checking the vscode version should not block extension activation.
|
// Checking the vscode version should not block extension activation.
|
||||||
void assertVSCodeVersionGreaterThan(MIN_VERSION, ctx);
|
void assertVSCodeVersionGreaterThan(MIN_VERSION, ctx);
|
||||||
|
|
||||||
interface DistributionUpdateConfig {
|
|
||||||
isUserInitiated: boolean;
|
|
||||||
shouldDisplayMessageWhenNoUpdates: boolean;
|
|
||||||
allowAutoUpdating: boolean;
|
|
||||||
}
|
|
||||||
|
|
||||||
async function installOrUpdateDistributionWithProgressTitle(
|
async function installOrUpdateDistributionWithProgressTitle(
|
||||||
progressTitle: string,
|
progressTitle: string,
|
||||||
config: DistributionUpdateConfig,
|
config: DistributionUpdateConfig,
|
||||||
|
|||||||
Reference in New Issue
Block a user