From 7380dcb04abedfec5d66afa3c6d348d22c707d02 Mon Sep 17 00:00:00 2001 From: Johannes Rieken Date: Wed, 7 Aug 2024 09:07:02 +0200 Subject: [PATCH] api todos and notebook date update (#225016) --- .vscode/notebooks/api.github-issues | 2 +- src/vscode-dts/vscode.proposed.extensionsAny.d.ts | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.vscode/notebooks/api.github-issues b/.vscode/notebooks/api.github-issues index c5dda6b26af..c402cca3836 100644 --- a/.vscode/notebooks/api.github-issues +++ b/.vscode/notebooks/api.github-issues @@ -7,7 +7,7 @@ { "kind": 2, "language": "github-issues", - "value": "$REPO=repo:microsoft/vscode\n$MILESTONE=milestone:\"July 2024\"" + "value": "$REPO=repo:microsoft/vscode\n$MILESTONE=milestone:\"August 2024\"" }, { "kind": 1, diff --git a/src/vscode-dts/vscode.proposed.extensionsAny.d.ts b/src/vscode-dts/vscode.proposed.extensionsAny.d.ts index c53cd6d89f8..468ffe7b78c 100644 --- a/src/vscode-dts/vscode.proposed.extensionsAny.d.ts +++ b/src/vscode-dts/vscode.proposed.extensionsAny.d.ts @@ -28,6 +28,7 @@ declare module 'vscode' { * @return An extension or `undefined`. */ export function getExtension(extensionId: string, includeDifferentExtensionHosts: boolean): Extension | undefined; + export function getExtension(extensionId: string, includeDifferentExtensionHosts: true): Extension | undefined; /** * All extensions across all extension hosts.