aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects
Commit message (Collapse)AuthorAge
* feat(frontend): XState statechartsLibravatar Kristóf Marussy2022-09-06
| | | | | | | Expressing logic in statecharts for complex stateful behaviours should improve maintainability We use @xstate/cli to statically analyze statcharts before typechecking
* refactor(frontend): add eslint-plugin-mobxLibravatar Kristóf Marussy2022-08-27
|
* refactor(frontend): custom mutex implementationLibravatar Kristóf Marussy2022-08-26
| | | | Lets us track priorities of tasks without cancellation.
* refactor(frontend): simplify UpdateService furtherLibravatar Kristóf Marussy2022-08-26
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-08-26
|
* refactor(frontend): extract xtextStateId trackingLibravatar Kristóf Marussy2022-08-25
|
* fix(frontend): UpdateService synchronizationLibravatar Kristóf Marussy2022-08-25
| | | | Also bumps frontend dependencies
* refactor(frontend): xtext update improvementsLibravatar Kristóf Marussy2022-08-25
|
* fix(frontend): editor font thicknessLibravatar Kristóf Marussy2022-08-22
| | | | | Imporve font rendering on Windows by making the JetBrains Mono font slightly bolder.
* refactor(frontend): theme improvementsLibravatar Kristóf Marussy2022-08-21
|
* refactor(frontend): improve code splittingLibravatar Kristóf Marussy2022-08-21
|
* feat(frontend): overlay window controlsLibravatar Kristóf Marussy2022-08-21
| | | | | Might need manual intervention in browsers, e.g. https://docs.microsoft.com/en-us/microsoft-edge/progressive-web-apps-chromium/how-to/window-controls-overlay#enable-the-window-controls-overlay-api-in-microsoft-edge
* feat(frontend): try to match OS themeLibravatar Kristóf Marussy2022-08-21
|
* refactor(frontend): inline CSS and minify HTMLLibravatar Kristóf Marussy2022-08-20
| | | | | | Optimize first page loading time. We only include variable and woff2 fonts, as they are widely supported.
* fix(frontend): CodeMirror gutter accessibilityLibravatar Kristóf Marussy2022-08-20
| | | | | Gutters are aria-hidden, so no accessibility attributes should point at them.
* fix(frontend): destroy service worker in dev modeLibravatar Kristóf Marussy2022-08-20
| | | | | If the application is run in both production and development mode on the same domain, make sure to clean up the production service worker.
* feat(frontend): add PWA manifestLibravatar Kristóf Marussy2022-08-20
|
* refactor(frontend): update themeLibravatar Kristóf Marussy2022-08-19
|
* feat(frontend): responsive editor stylingLibravatar Kristóf Marussy2022-08-18
|
* fix(frontend): search panel fixesLibravatar Kristóf Marussy2022-08-17
|
* feat(frontend): custom search panelLibravatar Kristóf Marussy2022-08-17
| | | | Also improves editor styling (to enable panel styling).
* refactor(frondend): improve editor store and themeLibravatar Kristóf Marussy2022-08-16
| | | | Also bumps frontend dependencies.
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2022-08-15
|
* refactor(frondend): dark theme tweaksLibravatar Kristóf Marussy2022-08-15
|
* feat(frontend): light/dark mode switchLibravatar Kristóf Marussy2022-08-12
|
* refactor(frontend): EditorParent line numbersLibravatar Kristóf Marussy2022-08-12
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-08-12
|
* refactor(frontend): move from Webpack to ViteLibravatar Kristóf Marussy2022-08-12
| | | | Also overhaulds the building and linting for frontend assets.
* fix(language): rule parsing testLibravatar Kristóf Marussy2022-08-12
| | | | This was left unchanged after refactoring the operators in the language.
* feat(language): modal parameter typesLibravatar Kristóf Marussy2022-08-11
|
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2022-08-11
|
* refactor(language): simplify count notationLibravatar Kristóf Marussy2022-08-10
| | | | Also change refinement operator based on feedback from colleagues
* feat(language): add support for count operatorLibravatar Kristóf Marussy2022-08-10
|
* refactor: direct predicatesLibravatar Kristóf Marussy2022-08-01
| | | | | | * Remove the direct keyword because it can be inferred * Use may/must/current instead of value literals * Transformation rule changes
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-07-31
|
* refactor: simplify language projectLibravatar Kristóf Marussy2022-07-29
| | | | | | * Move all utilities for language-model to language, since they do not make sense on their own * Convert xtend code into java
* build: clean up buildSrc scriptsLibravatar Kristóf Marussy2022-07-29
|
* build: fix testFixtures classpath in eclipseLibravatar Kristóf Marussy2022-07-28
|
* chore: bump dependenciesLibravatar Kristóf Marussy2022-07-27
|
* chore(frontend): bump frontend dependenciesLibravatar Kristóf Marussy2021-12-14
|
* build: make sure slf4j is used instead of log4jLibravatar Kristóf Marussy2021-12-14
|
* build: separate module for frontendLibravatar Kristóf Marussy2021-12-14
| | | | | This allows us to simplify the webpack configuration and the gradle build scripts.
* build: move modules into subproject directoryLibravatar Kristóf Marussy2021-12-12
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 17:20:40 +0000