diff options
| author | George Fraser <george@fivetran.com> | 2017-10-15 13:55:45 -0700 |
|---|---|---|
| committer | George Fraser <george@fivetran.com> | 2017-10-15 13:55:45 -0700 |
| commit | 793139af71d0a8fd203e3557fd45f4258153729f (patch) | |
| tree | 0241db4bad780a97a435bfab3e65bbc3bc7e1119 /package.json | |
| parent | 099b833de918dadc63e6e10828a313b6a154b580 (diff) | |
| download | java-language-server-793139af71d0a8fd203e3557fd45f4258153729f.zip | |
Allow the user to specify the class path manually
Diffstat (limited to 'package.json')
| -rw-r--r-- | package.json | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/package.json b/package.json index 277d684..c32e897 100644 --- a/package.json +++ b/package.json @@ -54,6 +54,13 @@ "configuration": { "title": "Java configuration", "properties": { + "java.classPath": { + "type": "array", + "items": { + "type": "string" + }, + "description": "Relative paths from workspace root to .jar files, .zip files, or folders that should be included in the Java class path" + }, "java.externalDependencies": { "type": "array", "items": { |