Kris De Volder
|
622b3806bb
|
Don't add readme file to theia plugins folder
Suspect that it causes trouble because the reamde itself is not a vscode extension.
|
2020-02-27 15:49:10 -08:00 |
|
Martin Lippert
|
393f6845ee
|
updated orbit for 2020-03 m2
|
2020-02-19 10:05:40 +01:00 |
|
Martin Lippert
|
b466676eee
|
optimize handling of type dependencies when scanning symbols to avoid keeping track of self-references and binary types
|
2020-02-14 18:03:30 +01:00 |
|
Kris De Volder
|
5ff917367d
|
Fix compile error caused by moved types in boot.dash.cf
|
2020-02-13 09:22:09 -08:00 |
|
BoykoAlex
|
99149eb6dd
|
Update annotation color preference value on the UI thread
|
2020-02-13 10:15:29 -05:00 |
|
Martin Lippert
|
2be05a4ac9
|
switched scanning of affetced files to bulk scan mechanism to optimize performance
|
2020-02-13 10:06:39 +01:00 |
|
Martin Lippert
|
aa0b33f70a
|
try to make timestamp-related tests more stable and robust against different file systems and timestamp update granularities
|
2020-02-06 12:04:11 +01:00 |
|
Martin Lippert
|
ed3e6aee58
|
do not delete symbols from indexer if file is not re-scanned by the individual indexer, e.g. because of unchanged timestamps
|
2020-02-06 11:42:27 +01:00 |
|
Martin Lippert
|
fbb306b9ad
|
optimize java symbol indexer performance by avoiding double scanning of the same file in case the timestamp has not changed
|
2020-02-06 10:16:30 +01:00 |
|
Kris De Volder
|
83e84e5863
|
Adapt boot.ls and manifest.ls for refactored boot.dash.cf api
|
2020-02-05 15:19:44 -08:00 |
|
Martin Lippert
|
74d8aef562
|
enhance symbol cache to update multiple files at once and use that new capability from java symbol indexer
|
2020-02-03 14:55:37 +01:00 |
|
Martin Lippert
|
4d6de9f41c
|
improve file observer mechanism to work with multiple files
|
2020-01-31 13:40:56 +01:00 |
|
Martin Lippert
|
6413bcb7cc
|
initial change towards multi-file symbol indexing on change events
|
2020-01-29 16:27:03 +01:00 |
|
Martin Lippert
|
601006c53b
|
added missing copyright headers
|
2020-01-29 08:46:10 +01:00 |
|
Kris De Volder
|
46062ac07c
|
Avoid webpack OME in theia-build
|
2020-01-23 11:27:06 -08:00 |
|
Kris De Volder
|
0308784e28
|
Revert "Add debug log output"
This reverts commit d1d4bae1fb.
|
2020-01-22 16:51:25 -08:00 |
|
Kris De Volder
|
327235ee75
|
package lock update
|
2020-01-22 16:42:14 -08:00 |
|
Kris De Volder
|
d1d4bae1fb
|
Add debug log output
|
2020-01-22 16:41:52 -08:00 |
|
Kris De Volder
|
fe7cccd5e7
|
Synchronize cf editor with boot dash cf targets
|
2020-01-22 16:14:38 -08:00 |
|
Martin Lippert
|
2958bf3edd
|
updated versions to 4.5.
|
2020-01-22 10:25:08 +01:00 |
|
Kris De Volder
|
2d331e9a4b
|
Wire vscode-wiki generate into pipeline
|
2020-01-21 15:10:38 -08:00 |
|
Martin Lippert
|
bd476897a6
|
add latest m2e for e4-14 target to fix junit 5 launch issue
|
2020-01-21 10:40:54 +01:00 |
|
BoykoAlex
|
bddf7b0424
|
Correct bash script variable
|
2020-01-20 21:17:13 -05:00 |
|
BoykoAlex
|
d2b6645b6d
|
Theia prepare script pulls vscode-java 0.53.1 specifically
|
2020-01-20 21:02:54 -05:00 |
|
Kris De Volder
|
d9f2e4c709
|
Try Theia with version 'next'.
|
2020-01-20 15:51:33 -08:00 |
|
Kris De Volder
|
b9419c05a9
|
One more try to fix vscode RC wiki page download url
|
2020-01-20 11:28:59 -08:00 |
|
Kris De Volder
|
eface153e1
|
Fix typo in create-release-wiki-page.sh
|
2020-01-20 11:22:17 -08:00 |
|
Kris De Volder
|
349871c2fa
|
Try fix download urls for RC wiki page
|
2020-01-20 11:17:44 -08:00 |
|
Kris De Volder
|
8ce3250734
|
CI: Move RC wiki page build to group vscode-release
|
2020-01-20 11:03:07 -08:00 |
|
Kris De Volder
|
babb0327c3
|
Tweaks to ci build related to VScode RC builds wiki page
|
2020-01-20 10:35:48 -08:00 |
|
Kris De Volder
|
2967500743
|
Add CI task to create vscode RC wiki page
|
2020-01-20 10:20:14 -08:00 |
|
Martin Lippert
|
e5061ef8a2
|
changelogs updated for 4.5.1 release
|
2020-01-20 14:28:13 +01:00 |
|
Martin Lippert
|
9e7b7d08eb
|
cleanup
|
2020-01-17 15:27:22 +01:00 |
|
Kris De Volder
|
2d5a629c03
|
On server startup, log java.home property.
Also some other minor cleanups related to logging.
|
2020-01-15 12:35:43 -08:00 |
|
Kris De Volder
|
ebb4596543
|
Cleanup: Spelling/grammar in comments
|
2020-01-15 12:35:11 -08:00 |
|
Kris De Volder
|
a89514043a
|
Add debug info to theia-docker-image build
|
2020-01-14 13:46:49 -08:00 |
|
Kris De Volder
|
6d94e78280
|
Change name of theia-app
|
2020-01-14 13:45:52 -08:00 |
|
Kris De Volder
|
273497cc40
|
Add info developer notes about...
... the origin of Theia package.json file.
|
2020-01-14 11:51:55 -08:00 |
|
Kris De Volder
|
50260eb2ff
|
Try fixing Theia docker build
|
2020-01-14 11:38:40 -08:00 |
|
Alex Boyko
|
a0732d1712
|
Merge pull request #402 from gayanper/async-support
Add support for async completions in 4.15
|
2020-01-14 12:42:59 -05:00 |
|
gayanper
|
cea770113e
|
Add support for async completions in 4.15
Marked the SpringBootJavaCompletionProposalComputer as requiresUIThread
= false so that the completions can be run asyncly.
|
2020-01-13 20:47:04 +01:00 |
|
Kris De Volder
|
db1112710a
|
Avoid double header in current-vsix release page
|
2020-01-10 12:34:55 -08:00 |
|
Kris De Volder
|
b18472630d
|
Tweaks to create-release-wiki-page script
- cleanup debug output
- cleanup page title
- markdown filename
|
2020-01-10 12:25:38 -08:00 |
|
Kris De Volder
|
d3a5326922
|
Try to reset vsix release version history
|
2020-01-10 11:59:57 -08:00 |
|
Kris De Volder
|
002c4e3f55
|
More fixes to create-release-wiki-page script
|
2020-01-10 11:40:41 -08:00 |
|
Kris De Volder
|
c91fa97382
|
Fx typo in create-release-wiki-page
|
2020-01-10 11:33:40 -08:00 |
|
Kris De Volder
|
17522cb6a4
|
Fix some problems in 'create-release-wiki-page' script
|
2020-01-10 11:29:42 -08:00 |
|
Kris De Volder
|
f16513c803
|
First attempt at 'create-release-wiki-page' script
|
2020-01-10 11:16:00 -08:00 |
|
BoykoAlex
|
f460ad214d
|
Fix NPE in java def handler
|
2020-01-08 19:59:42 -05:00 |
|
nsingh@pivotal.io
|
2de688f037
|
PT 169821438 - Show error on maximum retries for live hovers v2
When maximum retries for connect, disconnect, and refresh live data is
reached, show an error in the client.
|
2020-01-06 15:47:20 -08:00 |
|