Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | feat(web): xtext formatter client | 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. | ||
* | fix(web): undo/redo button accessibility issue | 2021-10-31 | |
| | | | | | Do not misuse ToggleButtons as ImageButtons when there's no toggled state. | ||
* | feat(web): show error count on generate button | 2021-10-31 | |
| | |||
* | feat(web): show lint status on lint button | 2021-10-31 | |
| | |||
* | feat(web): add CodeMirror 6 editor | 2021-10-31 | |
| | |||
* | chore(web): bump MUI 5 to released version | 2021-10-03 | |
| | |||
* | Add ESLint config | 2021-08-22 | |
| | |||
* | Covert language-web to TypeScript | 2021-08-22 | |