Files

Kris De Volder 15e3230e3b Allow overriding vscode language server options

JAVA_HOME and heap can now be overridden by the user from
vscode worspace settings, in a similar way for all our language servers,
by setting XXX.java.home and XXX.java.heap configuration keys.

2018-05-03 12:41:55 -07:00

boot-dev-pack

Some tweaks to Spring Boot Extension Pack

2018-02-23 08:10:22 -08:00

commons-vscode

Allow overriding vscode language server options

2018-05-03 12:41:55 -07:00

vscode-bosh

Allow overriding vscode language server options

2018-05-03 12:41:55 -07:00

vscode-concourse

Allow overriding vscode language server options

2018-05-03 12:41:55 -07:00

vscode-manifest-yaml

Allow overriding vscode language server options

2018-05-03 12:41:55 -07:00

vscode-spring-boot

Allow overriding vscode language server options

2018-05-03 12:41:55 -07:00

.project

Don't check for unknown resource errors in input_mapping

2017-05-12 11:56:08 -07:00

README.md

initial structure of repo

2016-08-16 17:14:06 +02:00

README.md

vscode extensions

STS 4 provides a set of extensions to the Visual Studio Code editor. Those extension projects are hosted here.