Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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(language): hide current implicit proposal | Kristóf Marussy | 2021-11-04 |
| | | | | | | | Content assist proposals should not display the object that is only added to the model because the current context assist input refers to it (e.g., an implicit node or variable that is only referenced in the currently edited context). | ||
* | 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. | ||
* | Merge pull request #9 from kris7t/cm6-sonar-fixes | Kristóf Marussy | 2021-10-31 |
|\ | | | | | Fix Sonar warnings introduced by CodeMirror 6 migration | ||
| * | chore: fix Sonar warnings | Kristóf Marussy | 2021-10-31 |
|/ | |||
* | Merge pull request #8 from kris7t/cm6 | Kristóf Marussy | 2021-10-31 |
|\ | | | | | Switch to CodeMirror 6 editor and WebSocket-based transport for Xtext | ||
| * | chore: bump dependency versions | 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 |
|/ | |||
* | Merge pull request #7 from golej-marci/language-to-store | Kristóf Marussy | 2021-10-25 |
|\ | | | | | Test for the case study added. | ||
| * | Test for the case study added. | Márton Golej | 2021-10-25 |
| | | |||
* | | Merge pull request #6 from OszkarSemerath/main | Kristóf Marussy | 2021-10-25 |
|\ \ | | | | | | | QueriableModel code quality improvement | ||
| * | | Improved sonar report | OszkarSemerath | 2021-10-25 |
|/ / | |||
* | | Merge pull request #5 from OszkarSemerath/main | Kristóf Marussy | 2021-10-25 |
|\ \ | | | | | | | Quarriable model support for treemap data structures | ||
| * | | Removed unnecessary quantified variables | OszkarSemerath | 2021-10-25 |
| | | |