Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | chore(web): json validation with zod | Kristóf Marussy | 2021-11-16 |
| | | | | | | Use the zod library instead of manually written type assertions for validating json messages from the server. This makes it easier to add and handle new messages. | ||
* | chore(web): implicit completion info in grammar | Kristóf Marussy | 2021-11-05 |
| | | | | | Move information about which tokens should support implicit completions into the Lezer grammar. | ||
* | fix(web): fix autocomplete prefix behavior | Kristóf Marussy | 2021-11-03 |
| | | | | | | | | | | Always try to complete the current token if it is a terminal (e.g., true, false, unknown, and error after a : or an = sign). Autocomplete still only starts without being explicitly invoked if there is a QualifiedName to complete. Discard completions with a shorter prefix than the current token, because they would be filtered out by CodeMirror anyways. | ||
* | chore(web): refactor xtext client | Kristóf Marussy | 2021-10-31 |
| | |||
* | fix(web): fix server-side content assist filtering | Kristóf Marussy | 2021-10-31 |
| | |||
* | chore(web): refactor UpdateService | Kristóf Marussy | 2021-10-31 |
| | | | | | extract utils/ConditionVariable from xtext/UpdateService as a generally useful utility class for waiting for conditions | ||
* | chore(web): move logger to utils/ | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): server-side content assist filtering | Kristóf Marussy | 2021-10-31 |
| | |||
* | chore(web): refactor xtext client | Kristóf Marussy | 2021-10-31 |