Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | chore(web): json validation with zod | 2021-11-16 | |
| | | | | | | Use the zod library instead of manually written type assertions for validating json messages from the server. This makes it easier to add and handle new messages. | ||
* | chore(web): implicit completion info in grammar | 2021-11-05 | |
| | | | | | Move information about which tokens should support implicit completions into the Lezer grammar. | ||
* | chore: bump dependency versions | 2021-10-31 | |
| | |||
* | feat(web): semantic highlighting | 2021-10-31 | |
| | |||
* | feat(web): server-side content assist filtering | 2021-10-31 | |
| | |||
* | chore(web): refactor xtext client | 2021-10-31 | |
| | |||
* | feat(web): add xtext websocket client | 2021-10-31 | |
| | |||
* | feat(web): experiment with Lezer parser | 2021-10-31 | |
| | |||
* | feat(web): add CodeMirror 6 editor | 2021-10-31 | |
| | |||
* | ci(web): add eslint and stylelint to sonar | 2021-10-05 | |
| | |||
* | chore: change package name | 2021-10-05 | |
| | |||
* | 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. | ||
* | build: webpack fixes | 2021-10-01 | |
| | |||
* | build: migration to Gradle 7 | 2021-09-29 | |
| | |||
* | 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 | |
| | |||
* | JetBrains Mono font | 2021-07-02 | |
| | |||
* | Fonts and ligatures | 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 subresource integrity | 2021-06-30 | |
| | |||
* | Add hot module replacement for development | 2021-06-29 | |
| | |||
* | Generate all files on build | 2021-06-29 | |
| | |||
* | Webpack build for frontend | 2021-06-29 | |