added new change detection setting property to client extensions

This commit is contained in:
Martin Lippert
2018-06-19 11:31:38 +02:00
parent 954f65de4d
commit 653aec3725
3 changed files with 16 additions and 0 deletions

View File

@@ -24,6 +24,11 @@
"type": "boolean", "type": "boolean",
"default": true, "default": true,
"description": "Enable/Disable Spring running Boot application live hints decorators in the source code" "description": "Enable/Disable Spring running Boot application live hints decorators in the source code"
},
"change-detection.on": {
"type": "boolean",
"default": false,
"description": "Enable/Disable detecting changes of running Spring Boot applications"
} }
}, },
"dependencies": { "dependencies": {

View File

@@ -11,12 +11,18 @@ export const BootConfigSchema: PreferenceSchema = {
type: 'boolean', type: 'boolean',
description: 'Enable/Disable Spring running Boot application live hints decorators in Java source code.', description: 'Enable/Disable Spring running Boot application live hints decorators in Java source code.',
default: true default: true
},
'boot-java.change-detection.on': {
type: 'boolean',
description: 'Enable/Disable detecting changes of running Spring Boot applications.',
default: false
} }
} }
}; };
export interface BootConfiguration { export interface BootConfiguration {
'boot-java.boot-hints.on': boolean; 'boot-java.boot-hints.on': boolean;
'boot-java.change-detection.on': boolean;
} }
export const BootPreferences = Symbol('BootPreferences'); export const BootPreferences = Symbol('BootPreferences');

View File

@@ -68,6 +68,11 @@
"default": true, "default": true,
"description": "Enable/Disable Spring running Boot application live hints decorators in Java source code" "description": "Enable/Disable Spring running Boot application live hints decorators in Java source code"
}, },
"boot-java.change-detection.on": {
"type": "boolean",
"default": false,
"description": "Enable/Disable detecting changes of running Spring Boot applications"
},
"spring-boot.ls.java.home": { "spring-boot.ls.java.home": {
"type": [ "type": [
"string", "string",