aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/editor/EditorTheme.ts
Commit message (Expand)AuthorAge
* 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
* fix(frontend): typo in EditorThemeLibravatar Kristóf Marussy2023-09-19
* feat: scope propagator in languageLibravatar Kristóf Marussy2023-09-03
* refactor(frontent): improve graph drawingLibravatar Kristóf Marussy2023-08-26
* refactor(web): clean up graphviz visualizationLibravatar Kristóf Marussy2023-08-24
* feat: improve semantics error reportingLibravatar Kristóf Marussy2023-08-20
* 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-01-28
* 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
* 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
* fix: test and lint failuresLibravatar Kristóf Marussy2022-10-04
* fix(frontend): editor selection visibilityLibravatar Kristóf Marussy2022-10-03
* feat(frontend): editor area scroll shadow stylingLibravatar Kristóf Marussy2022-09-08
* refactor(frontend): theme improvementsLibravatar Kristóf Marussy2022-08-21
* refactor(frontend): improve code splittingLibravatar Kristóf Marussy2022-08-21
* refactor(frontend): update themeLibravatar Kristóf Marussy2022-08-19
* feat(frontend): responsive editor stylingLibravatar Kristóf Marussy2022-08-18
* feat(frontend): custom search panelLibravatar Kristóf Marussy2022-08-17
* refactor(frondend): improve editor store and themeLibravatar Kristóf Marussy2022-08-16
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 14:19:03 +0000