From c8738216f36859320afbd09dc766b5be98aeb272 Mon Sep 17 00:00:00 2001 From: Jinbo Wang Date: Mon, 30 May 2022 16:03:43 +0800 Subject: [PATCH] Trace Java debug settings change event (#1172) --- src/configurationProvider.ts | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/src/configurationProvider.ts b/src/configurationProvider.ts index 9661c9c..550b740 100644 --- a/src/configurationProvider.ts +++ b/src/configurationProvider.ts @@ -33,8 +33,19 @@ const platformName = platformNameMappings[process.platform]; export class JavaDebugConfigurationProvider implements vscode.DebugConfigurationProvider { private isUserSettingsDirty: boolean = true; constructor() { + const packageJson: {[key: string]: any} = require("../package.json"); + const debugConfigNames = Object.keys(packageJson?.contributes?.configuration?.properties || {}); vscode.workspace.onDidChangeConfiguration((event) => { if (event.affectsConfiguration("java.debug")) { + for (const key of debugConfigNames) { + if (event.affectsConfiguration(key)) { + sendInfo("", { + operationName: "changeJavaDebugSettings", + configName: key, + }); + } + } + if (vscode.debug.activeDebugSession) { this.isUserSettingsDirty = false; return updateDebugSettings(event);