Skip to content

Commit c873821

Browse files
Trace Java debug settings change event (#1172)
1 parent 70c61ce commit c873821

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed

src/configurationProvider.ts

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -33,8 +33,19 @@ const platformName = platformNameMappings[process.platform];
3333
export class JavaDebugConfigurationProvider implements vscode.DebugConfigurationProvider {
3434
private isUserSettingsDirty: boolean = true;
3535
constructor() {
36+
const packageJson: {[key: string]: any} = require("../package.json");
37+
const debugConfigNames = Object.keys(packageJson?.contributes?.configuration?.properties || {});
3638
vscode.workspace.onDidChangeConfiguration((event) => {
3739
if (event.affectsConfiguration("java.debug")) {
40+
for (const key of debugConfigNames) {
41+
if (event.affectsConfiguration(key)) {
42+
sendInfo("", {
43+
operationName: "changeJavaDebugSettings",
44+
configName: key,
45+
});
46+
}
47+
}
48+
3849
if (vscode.debug.activeDebugSession) {
3950
this.isUserSettingsDirty = false;
4051
return updateDebugSettings(event);

0 commit comments

Comments
 (0)