aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/editor
Commit message (Expand)AuthorAge
* rfactor(frontend): scroll to top on initializationLibravatar Kristóf Marussy2024-04-27
* refactor(frontend): improve key bindingsLibravatar Kristóf Marussy2024-04-27
* feat(frontend): add tooltips to buttonsLibravatar Kristóf Marussy2024-04-12
* feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
* feat(language): datatype declarationsLibravatar Kristóf Marussy2024-04-07
* feat: custom identifier coloringLibravatar Kristóf Marussy2024-03-22
* feat(web): file open and saveLibravatar Kristóf Marussy2024-02-24
* 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 20:35:40 +0000