From 0f288f7af641541fa41f9fb46fa446a9fab6553c Mon Sep 17 00:00:00 2001 From: Andre Weinand Date: Thu, 15 Nov 2018 22:14:58 +0100 Subject: [PATCH] Debug API: finalize breakpoint ID; fixes #48722 --- src/vs/vscode.d.ts | 4 ++++ src/vs/vscode.proposed.d.ts | 7 ------- 2 files changed, 4 insertions(+), 7 deletions(-) diff --git a/src/vs/vscode.d.ts b/src/vs/vscode.d.ts index 1d7fb5ac180ff..5e1ce167c598e 100644 --- a/src/vs/vscode.d.ts +++ b/src/vs/vscode.d.ts @@ -8276,6 +8276,10 @@ declare module 'vscode' { * The base class of all breakpoint types. */ export class Breakpoint { + /** + * The unique ID of the breakpoint. + */ + readonly id: string; /** * Is breakpoint enabled. */ diff --git a/src/vs/vscode.proposed.d.ts b/src/vs/vscode.proposed.d.ts index 3d2c8e1ce0355..336eaa9204492 100644 --- a/src/vs/vscode.proposed.d.ts +++ b/src/vs/vscode.proposed.d.ts @@ -567,13 +567,6 @@ declare module 'vscode' { //#region André: debug - export interface Breakpoint { - /** - * The id of the breakpoint. - */ - readonly id: string; - } - /** * A debug session. */