aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/js/editor/EditorButtons.tsx
Commit message (Collapse)AuthorAge
* feat(web): xtext formatter clientLibravatar Kristóf Marussy2021-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.
* 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): show error count on generate buttonLibravatar Kristóf Marussy2021-10-31
|
* feat(web): show lint status on lint buttonLibravatar Kristóf Marussy2021-10-31
|
* feat(web): add CodeMirror 6 editorLibravatar Kristóf Marussy2021-10-31
|
* chore(web): bump MUI 5 to released versionLibravatar Kristóf Marussy2021-10-03
|
* Add ESLint configLibravatar Kristóf Marussy2021-08-22
|
* Covert language-web to TypeScriptLibravatar Kristóf Marussy2021-08-22