Spring/spring-tools
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
1,886 Commits 69 Branches 0 Tags
a9d86c8f0e8fb55ada15c00a7abcb65cc9e4f23d
Commit Graph

4 Commits

Author SHA1 Message Date
Kris De Volder
aa78fe0dcc Merge BootJavaServerParams into BootLanguageServerParams 
This also required the removal of duplicated SpringPropertyIndex related
classes that existed in both boot properties and boot java language servers
before.

A single BootLanguageServerParams now contains the same kind of property 
index that should be able to support both uses.
 2018-02-14 13:04:32 -08:00
Kris De Volder
83a08eaf0e Rename BootPropertiesLanguageServerParams to BootLanguageServerParams 
This is a step towards merging BootPropertiesLanguageServerParams and 
BootJavaLanguageServerParams into a single BootLanguageServerParams
 2018-02-14 11:12:30 -08:00
Kris De Volder
63c976d3fa Changes towards composable language servers 2018-02-13 15:08:12 -08:00
Kris De Volder
ae1354d53e Rename boot-language-server to spring-boot-language-server 
So it is consistent with the vscode-spring-boot naming.
 2018-02-13 11:57:13 -08:00