Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | build: move modules into subproject directory | Kristóf Marussy | 2021-12-12 |
| | |||
* | build: upgrade to yarn 3 | Kristóf Marussy | 2021-11-20 |
| | | | | | | | Also upgrades various frontend dependencies. We can't upgrade to typescript 4.5 yet, because https://github.com/yarnpkg/berry/pull/3760 is not released yet. | ||
* | chore(web): fix Sonar issue | Kristóf Marussy | 2021-11-16 |
| | |||
* | feat(web): xtext formatter client | Kristóf Marussy | 2021-11-16 |
| | | | | | | | | | Uses the xtext formatted on the server to format the document. Also adds the capability to take (delta) changes from the server and apply them before any pending local changes, then replay the changes. This means that the server-side formatter is effectively acting as a second user who is editing the document. | ||
* | 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(lang): shorten keyword individual -> indiv | Kristóf Marussy | 2021-11-06 |
| | |||
* | chore: rename unique to individual | Kristóf Marussy | 2021-11-05 |
| | | | | Suggestion by @vincemolnar to match SysML V2 terminology more closely. | ||
* | 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(lang): make default and scope non-contextual | Kristóf Marussy | 2021-11-05 |
| | | | | | Contextual keywords make Xtext parsing more complicated and degrade content assist. | ||
* | fix(web): fix fold gutter styling | Kristóf Marussy | 2021-11-05 |
| | | | | | | We can't seem to be able to style the fold gutter in the current line to set its background color, so we set the background of the whole gutter instead. | ||
* | 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: fix Sonar warnings | Kristóf Marussy | 2021-10-31 |
| | |||
* | 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. | ||
* | chore(web): refactor xtext client | Kristóf Marussy | 2021-10-31 |
| | |||
* | fix(web): undo/redo button accessibility issue | Kristóf Marussy | 2021-10-31 |
| | | | | | Do not misuse ToggleButtons as ImageButtons when there's no toggled state. | ||
* | feat(web): client support for transformation rules | Kristóf Marussy | 2021-10-31 |
| | |||
* | fix(web): fix server-side content assist filtering | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): find occurrences when idle | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): use 4 space for indentation | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): semantic highlighting | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): show error count on generate button | Kristóf Marussy | 2021-10-31 |
| | |||
* | fix(web): make lint panel readable | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): use theme colors in error markers | 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 |
| | |||
* | feat(web): add xtext content assist | Kristóf Marussy | 2021-10-31 |
| | |||
* | chore(web): refactor PendingTask | Kristóf Marussy | 2021-10-31 |
| | |||
* | chore(web): simplify websocket state machine | Kristóf Marussy | 2021-10-31 |
| | |||
* | chore(web): refactor websocket state machine | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): show lint status on lint button | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): disconnect background tabs only | Kristóf Marussy | 2021-10-31 |
| | |||
* | fix(web): only try to read properties of objects | Kristóf Marussy | 2021-10-31 |
| | |||
* | 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 |
| | |||
* | feat(web): simplify contextual parsing | Kristóf Marussy | 2021-10-31 |
| | | | | | | | | * More relaxted parsing in the browser for stable variable/node identifier classification. * String support in the browser. * contains, refers, and opposite keywords are no longer contextual, which simplifies parsing in the browser. | ||
* | fix(web): a11y issue reported by Lighthouse | Kristóf Marussy | 2021-10-31 |
| | |||
* | chore(web): remove CodeMirror 5 MWE2 integration | Kristóf Marussy | 2021-10-31 |
| | | | | | CodeMirror 6 uses a hand-writter Lezer parser instead of the stream parser generated by Xtext for CodeMirror 5. | ||
* | feat(web): experiment with Lezer parser | Kristóf Marussy | 2021-10-31 |
| | |||
* | feat(web): add CodeMirror 6 editor | 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 |