Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | build: move modules into subproject directory | 2021-12-12 | |
| | |||
* | 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. | ||
* | chore: rename unique to individual | 2021-11-05 | |
| | | | | Suggestion by @vincemolnar to match SysML V2 terminology more closely. | ||
* | fix(web): fix fold gutter styling | 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. | ||
* | chore: fix Sonar warnings | 2021-10-31 | |
| | |||
* | chore(web): refactor xtext client | 2021-10-31 | |
| | |||
* | fix(web): undo/redo button accessibility issue | 2021-10-31 | |
| | | | | | Do not misuse ToggleButtons as ImageButtons when there's no toggled state. | ||
* | feat(web): client support for transformation rules | 2021-10-31 | |
| | |||
* | feat(web): find occurrences when idle | 2021-10-31 | |
| | |||
* | feat(web): semantic highlighting | 2021-10-31 | |
| | |||
* | feat(web): show error count on generate button | 2021-10-31 | |
| | |||
* | fix(web): make lint panel readable | 2021-10-31 | |
| | |||
* | feat(web): use theme colors in error markers | 2021-10-31 | |
| | |||
* | chore(web): move logger to utils/ | 2021-10-31 | |
| | |||
* | chore(web): refactor xtext client | 2021-10-31 | |
| | |||
* | feat(web): add xtext content assist | 2021-10-31 | |
| | |||
* | chore(web): refactor PendingTask | 2021-10-31 | |
| | |||
* | chore(web): simplify websocket state machine | 2021-10-31 | |
| | |||
* | chore(web): refactor websocket state machine | 2021-10-31 | |
| | |||
* | feat(web): show lint status on lint button | 2021-10-31 | |
| | |||
* | feat(web): disconnect background tabs only | 2021-10-31 | |
| | |||
* | fix(web): only try to read properties of objects | 2021-10-31 | |
| | |||
* | feat(web): application-level pings | 2021-10-31 | |
| | |||
* | feat(web): add xtext websocket client | 2021-10-31 | |
| | |||
* | feat(web): simplify contextual parsing | 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 | 2021-10-31 | |
| | |||
* | chore(web): remove CodeMirror 5 MWE2 integration | 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 | 2021-10-31 | |
| | |||
* | feat(web): add CodeMirror 6 editor | 2021-10-31 | |
| | |||
* | fix(web): improve accessibility | 2021-10-04 | |
| | | | | | contenteditable should provide a better experience for screen reader and IME users | ||
* | chore(web): bump MUI 5 to released version | 2021-10-03 | |
| | |||
* | feat(web): add client-side logging support | 2021-10-02 | |
| | | | | | Also modified langauge-web/src/main/js/xtext/ServiceBuilder.js to make sure the new logger is used as soon as xtext is initialized. | ||
* | perf(web): split off CodeMirror chunks | 2021-10-02 | |
| | | | | Also optimizes statis asset caching. | ||
* | Frontend color theme | 2021-09-17 | |
| | |||
* | Add ESLint config | 2021-08-22 | |
| | |||
* | Covert language-web to TypeScript | 2021-08-22 | |
| | |||
* | Bump Material-UI version | 2021-08-22 | |
| | |||
* | Bump CodeMirror, React versions | 2021-08-22 | |
| | |||
* | Make Xtext CodeMirror more robust | 2021-08-20 | |
| | |||
* | Appearance fixes | 2021-07-05 | |
| | |||
* | JetBrains Mono font | 2021-07-02 | |
| | |||
* | Material UI theming WIP | 2021-07-02 | |
| | |||
* | Add material-ui and mobx integration | 2021-07-01 | |