From 98ea3bcf1bc12f9f3a437f829444a66630ee21dd Mon Sep 17 00:00:00 2001 From: Rob Lourens Date: Wed, 10 Nov 2021 13:35:07 -0800 Subject: [PATCH] Add proposed api region name, #131165 --- src/vs/vscode.proposed.d.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/vscode.proposed.d.ts b/src/vs/vscode.proposed.d.ts index 1c0ef295c1f..e49be6d8a72 100644 --- a/src/vs/vscode.proposed.d.ts +++ b/src/vs/vscode.proposed.d.ts @@ -752,7 +752,7 @@ declare module 'vscode' { //#endregion // eslint-disable-next-line vscode-dts-region-comments - //#region @roblourens: new debug session option for simple UI 'managedByParent' (see https://github.com/microsoft/vscode/issues/128588) + //#region notebookDebugOptions: @roblourens: new debug session option for simple UI 'managedByParent' (see https://github.com/microsoft/vscode/issues/128588) /** * Options for {@link debug.startDebugging starting a debug session}.