aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
...
| * fix(lang): make default and scope non-contextualLibravatar Kristóf Marussy2021-11-05
| | | | | | | | | | Contextual keywords make Xtext parsing more complicated and degrade content assist.
| * feat(lang): add example validation checksLibravatar Kristóf Marussy2021-11-05
| |
| * fix(web): fix fold gutter stylingLibravatar Kristóf Marussy2021-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 proposalLibravatar Kristóf Marussy2021-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 behaviorLibravatar Kristóf Marussy2021-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-fixesLibravatar Kristóf Marussy2021-10-31
|\ | | | | Fix Sonar warnings introduced by CodeMirror 6 migration
| * chore: fix Sonar warningsLibravatar Kristóf Marussy2021-10-31
|/
* Merge pull request #8 from kris7t/cm6Libravatar Kristóf Marussy2021-10-31
|\ | | | | Switch to CodeMirror 6 editor and WebSocket-based transport for Xtext
| * chore: bump dependency versionsLibravatar Kristóf Marussy2021-10-31
| |
| * fix(web): not dot display spurious occurrencesLibravatar Kristóf Marussy2021-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 conditionLibravatar Kristóf Marussy2021-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 clientLibravatar Kristóf Marussy2021-10-31
| |
| * fix(web): undo/redo button accessibility issueLibravatar Kristóf Marussy2021-10-31
| | | | | | | | | | Do not misuse ToggleButtons as ImageButtons when there's no toggled state.
| * feat(web): client support for transformation rulesLibravatar Kristóf Marussy2021-10-31
| |
| * fix(web): fix server-side content assist filteringLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): find occurrences when idleLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): use 4 space for indentationLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): semantic highlightingLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): show error count on generate buttonLibravatar Kristóf Marussy2021-10-31
| |
| * fix(web): make lint panel readableLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): use theme colors in error markersLibravatar Kristóf Marussy2021-10-31
| |
| * chore(web): refactor UpdateServiceLibravatar Kristóf Marussy2021-10-31
| | | | | | | | | | extract utils/ConditionVariable from xtext/UpdateService as a generally useful utility class for waiting for conditions
| * chore(web): move logger to utils/Libravatar Kristóf Marussy2021-10-31
| |
| * feat(web): server-side content assist filteringLibravatar Kristóf Marussy2021-10-31
| |
| * chore(web): refactor xtext clientLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): add xtext content assistLibravatar Kristóf Marussy2021-10-31
| |
| * chore(web): refactor PendingTaskLibravatar Kristóf Marussy2021-10-31
| |
| * chore(web): simplify websocket state machineLibravatar Kristóf Marussy2021-10-31
| |
| * chore(web): refactor websocket state machineLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): show lint status on lint buttonLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): disconnect background tabs onlyLibravatar Kristóf Marussy2021-10-31
| |
| * fix(web): only try to read properties of objectsLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): application-level pingsLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): add xtext websocket clientLibravatar Kristóf Marussy2021-10-31
| |
| * test(web): more websocket integration testsLibravatar Kristóf Marussy2021-10-31
| |
| * test(web): websockets fixes and testsLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): push precomputed service resultsLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): batched xtext websocket prototypeLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): batch operations for websocket protocolLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): better websocket loggingLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): add websocket serverLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): simplify contextual parsingLibravatar Kristóf Marussy2021-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 LighthouseLibravatar Kristóf Marussy2021-10-31
| |
| * chore(web): remove CodeMirror 5 MWE2 integrationLibravatar Kristóf Marussy2021-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 parserLibravatar Kristóf Marussy2021-10-31
| |
| * feat(web): add CodeMirror 6 editorLibravatar Kristóf Marussy2021-10-31
|/
* Merge pull request #7 from golej-marci/language-to-storeLibravatar Kristóf Marussy2021-10-25
|\ | | | | Test for the case study added.
| * Test for the case study added.Libravatar Márton Golej2021-10-25
| |
* | Merge pull request #6 from OszkarSemerath/mainLibravatar Kristóf Marussy2021-10-25
|\ \ | | | | | | QueriableModel code quality improvement
| * | Improved sonar reportLibravatar OszkarSemerath2021-10-25
|/ /