Kris De Volder
|
243586a8f8
|
Fix https://www.pivotaltracker.com/story/show/159426287
Add remote host name to ssh tunnel config, so that it can
be used to compute correct request mapping links for live
hovers.
|
2018-08-07 10:06:49 -07:00 |
|
Kris De Volder
|
0d4b6eedde
|
Update Ls versions to 0.5.0 (eclipsy bits).
|
2018-07-27 10:07:30 -07:00 |
|
BoykoAlex
|
eb34b0210f
|
PT #159307292: Autowired reports optics, content specific to AST node
|
2018-07-26 21:25:37 -04:00 |
|
Kris De Volder
|
c507afd546
|
Add support for injectign remote JMX urls into boot ls
|
2018-07-23 11:18:50 -07:00 |
|
Martin Lippert
|
6b352d3e8f
|
updated dependencies and update urls to limit the scope of updated to e48 based installs
|
2018-06-29 10:53:50 +02:00 |
|
Martin Lippert
|
cb645f3a34
|
updated version of eclipse-language-servers to 0.3.2
|
2018-06-19 08:04:39 +02:00 |
|
Kris De Volder
|
f6358a494c
|
More version numbers 0.3.0 -> 0.3.1
Signed-off-by: Kris De Volder <kdevolder@pivotal.io>
|
2018-06-11 16:15:06 -07:00 |
|
Martin Lippert
|
e39d5311ca
|
updated bundle manifest version to 0.3.0
|
2018-06-08 10:07:20 +02:00 |
|
Martin Lippert
|
a4ea1a474c
|
specialize the generic editors for property editing with icon association
|
2018-06-04 08:30:53 +02:00 |
|
Martin Lippert
|
b095d4a302
|
updated versions of eclipse-language-server plugins to 0.2.1
|
2018-03-20 11:10:41 +01:00 |
|
Martin Lippert
|
bacbb26c75
|
updated versions of eclipse-language-server plugins to 0.2.0
|
2018-03-16 10:58:56 +01:00 |
|
Martin Lippert
|
578bbf9021
|
updated versions of eclipse-language-server plugins to 0.1.6
|
2018-03-12 16:38:38 +01:00 |
|
BoykoAlex
|
d13ccfc5c4
|
PT #155266751: Eclipse source links via IntroURL
|
2018-03-02 22:51:54 -05:00 |
|
Martin Lippert
|
208183369d
|
updated version of eclipse ls extensions to 0.1.5
|
2018-02-28 16:27:27 +01:00 |
|
Martin Lippert
|
e0f2f242a0
|
additional adjustments for combined boot language server
|
2018-02-18 18:50:31 +01:00 |
|
Martin Lippert
|
260a5f9241
|
adopt unified boot language server for eclipse language server plugins and features
|
2018-02-18 18:06:52 +01:00 |
|