added configs for fetching live hover data to allow users to customize the behaviour

This commit is contained in:
Martin Lippert
2019-11-19 14:41:37 +01:00
parent 560128a0bb
commit f8dd7929fd
10 changed files with 81 additions and 12 deletions

View File

@@ -84,6 +84,16 @@
"default": 5000,
"description": "Live Information - Automatic Process Tracking Delay in ms"
},
"boot-java.live-information.fetch-data.max-retries": {
"type": "number",
"default": 10,
"description": "Live Information - Max number of retries (before giving up)"
},
"boot-java.live-information.fetch-data.retry-delay-in-seconds": {
"type": "number",
"default": 3,
"description": "Live Information - Delay between retries in seconds"
},
"boot-java.scan-java-test-sources.on": {
"type": "boolean",
"default": false,