Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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): batch operations for websocket protocol | 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 | |
| | |||
* | chore(web): bump frontend dependencies except MUI | 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 changes | 2021-09-19 | |
| | |||
* | 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 | |
| | |||
* | Simplify node naming | 2021-08-20 | |
| | |||
* | Appearance fixes | 2021-07-05 | |
| | |||
* | JetBrains Mono font | 2021-07-02 | |
| | |||
* | Change operator for predicate definition | 2021-07-02 | |
| | |||
* | Material UI theming WIP | 2021-07-02 | |
| | |||
* | Add material-ui and mobx integration | 2021-07-01 | |
| | |||
* | Convert to React app | 2021-06-30 | |
| | |||
* | Webpack build for frontend | 2021-06-29 | |