aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/editor
Commit message (Expand)AuthorAge
* refactor(language): name disambiguationLibravatar Kristóf Marussy2024-02-02
* refactor(language): module and node declarationsLibravatar Kristóf Marussy2024-01-31
* feat(web): toggle identifier coloringLibravatar Kristóf Marussy2024-01-03
* refactor(web): subtler error predicate highlightLibravatar Kristóf Marussy2024-01-03
* feat(web): color identifiers and nodesLibravatar Kristóf Marussy2024-01-03
* feat(frontend): save in URL fragmentLibravatar Kristóf Marussy2023-09-26
* fix(frontend): typo in EditorThemeLibravatar Kristóf Marussy2023-09-19
* feat: specify random seed for generationLibravatar Kristóf Marussy2023-09-14
* feat: connect model generator to UILibravatar Kristóf Marussy2023-09-12
* feat: scope propagator in languageLibravatar Kristóf Marussy2023-09-03
* feat(frontend): implement grid viewLibravatar Kristóf Marussy2023-08-31
* feat(frontend): window pane switcherLibravatar Kristóf Marussy2023-08-30
* refactor(frontent): improve graph drawingLibravatar Kristóf Marussy2023-08-26
* refactor(web): clean up graphviz visualizationLibravatar Kristóf Marussy2023-08-24
* feat: dot visualizationLibravatar Kristóf Marussy2023-08-23
* feat: improve semantics error reportingLibravatar Kristóf Marussy2023-08-20
* feat: basic semantics mapping and visualizationLibravatar Kristóf Marussy2023-08-17
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-08-15
* fix(web): editor cursor stylingLibravatar Kristóf Marussy2023-04-26
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-02-26
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-01-28
* fix(frontend): do not scroll initiallyLibravatar Kristóf Marussy2022-12-21
* refactor(frontend): lazy load XtextClientLibravatar Kristóf Marussy2022-12-11
* refactor(frontend): theme improvementsLibravatar Kristóf Marussy2022-12-09
* refactor(frontend): scrollbar improvementsLibravatar Kristóf Marussy2022-12-09
* fix(frontend): reduce Android rendering errorsLibravatar Kristóf Marussy2022-12-09
* feat(frontend): scroll beyond last line in editorLibravatar Kristóf Marussy2022-12-09
* refactor(frontend): simplify diagnostic trackingLibravatar Kristóf Marussy2022-12-09
* fix(frontend): mobx 6.7.0 typingLibravatar Kristóf Marussy2022-11-22
* feat(frontend): scrollbar annotationsLibravatar Kristóf Marussy2022-11-05
* feat(frontend): overlay scrollbars for editorLibravatar Kristóf Marussy2022-11-05
* refactor(frontend): editor theme improvementsLibravatar Kristóf Marussy2022-11-05
* refactor(frontend): minor theme improvementsLibravatar Kristóf Marussy2022-11-05
* refactor(frontend): improve HMR experienceLibravatar Kristóf Marussy2022-11-05
* fix: test and lint failuresLibravatar Kristóf Marussy2022-10-04
* feat(frontend): animate GenerateButtonLibravatar Kristóf Marussy2022-10-03
* fix(frontend): editor selection visibilityLibravatar Kristóf Marussy2022-10-03
* feat(frontend): editor area scroll shadow stylingLibravatar Kristóf Marussy2022-09-08
* feat(frontend): check for updates periodicallyLibravatar Kristóf Marussy2022-09-08
* feat(frontend): handle page hide eventsLibravatar Kristóf Marussy2022-09-06
* refactor(frontend): toolbar sm breakpointLibravatar Kristóf Marussy2022-09-06
* feat(frontend): show connection statusLibravatar Kristóf Marussy2022-09-06
* refactor(frontend): add eslint-plugin-mobxLibravatar Kristóf Marussy2022-08-27
* refactor(frontend): xtext update improvementsLibravatar Kristóf Marussy2022-08-25
* refactor(frontend): theme improvementsLibravatar Kristóf Marussy2022-08-21
* refactor(frontend): improve code splittingLibravatar Kristóf Marussy2022-08-21
* fix(frontend): CodeMirror gutter accessibilityLibravatar Kristóf Marussy2022-08-20
* refactor(frontend): update themeLibravatar Kristóf Marussy2022-08-19
* feat(frontend): responsive editor stylingLibravatar Kristóf Marussy2022-08-18
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 19:03:34 +0000