Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | fix(web): not dot display spurious occurrences | Kristóf Marussy | 2021-10-31 |
| | | | | | | Only return find occurrences results for NamedElement instances, as other objects cannot be referenced by name and thus cannot have any references at all. | ||
* | fix(web): fix push message race condition | Kristóf Marussy | 2021-10-31 |
| | | | | | | | | | | | | | | In some resource-constrained environments (e.g., my VPS with 2 vCPUs), it was possible for validation and highlighting precomputation to be finished before the server responded to a deltaText updating completion request (updating completion take longer than a normal update, because they also have to compute the completions). Therefore, the client received push messages about a stateId it didn't know about yet. To fix this, we delay any push messages originating during servicing a call to be sent after the call is serviced. Thus the client first receives the updating completion response with the new stateId, followed by the push messages relating to that stateId. | ||
* | feat(web): application-level pings | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): add xtext websocket client | Kristóf Marussy | 2021-10-31 |
| | |||
* | test(web): more websocket integration tests | Kristóf Marussy | 2021-10-31 |
| | |||
* | test(web): websockets fixes and tests | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): push precomputed service results | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): batched xtext websocket prototype | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): batch operations for websocket protocol | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): better websocket logging | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): add websocket server | Kristóf Marussy | 2021-10-31 |
| | |||
* | chore(web): bump Jetty version | Kristóf Marussy | 2021-10-07 |
| | | | | | | | Requred vendoring org.eclipse.xtext.web.servlet as tools.refinery.language.web.xtext due to the javax -> jakarta package name change: https://www.eclipse.org/lists/jetty-announce/msg00149.html | ||
* | chore: change package name | Kristóf Marussy | 2021-10-05 |
| | |||
* | chore: fix Java 17 Sonar warnings | Kristóf Marussy | 2021-10-02 |
| | | | | | Had to disable code coverage measurement in the Quality Gate, we should switch it on again once we have a complete test suite. | ||
* | perf(web): split off CodeMirror chunks | Kristóf Marussy | 2021-10-02 |
| | | | | Also optimizes statis asset caching. | ||
* | Refactor ServerLauncher | Kristóf Marussy | 2021-09-20 |
| | |||
* | Allow launching server from Eclipse | Kristóf Marussy | 2021-09-19 |
| | |||
* | Allow running ServerLauncher from Eclipse | Kristóf Marussy | 2021-09-19 |
| | |||
* | Refactoring based on Sonar reports | Kristóf Marussy | 2021-07-29 |
| | |||
* | Fix typo in environmental variable name | Kristóf Marussy | 2021-07-05 |
| | |||
* | Add hot module replacement for development | Kristóf Marussy | 2021-06-29 |
| | |||
* | Generate all files on build | Kristóf Marussy | 2021-06-29 |
| | |||
* | Fix running outside of Eclipse | Kristóf Marussy | 2021-06-27 |
| | |||
* | Simplify project layout | Kristóf Marussy | 2021-06-27 |