Trace Java debug settings change event (#1172)

This commit is contained in:
Jinbo Wang 2022-05-30 16:03:43 +08:00 committed by GitHub
parent 70c61ce96e
commit c8738216f3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 0 deletions

View File

@ -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);