aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/editor
Commit message (Expand)AuthorAge
* 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
* fix(frontend): search panel fixesLibravatar Kristóf Marussy2022-08-17
* feat(frontend): custom search panelLibravatar Kristóf Marussy2022-08-17
* refactor(frondend): improve editor store and themeLibravatar Kristóf Marussy2022-08-16
* 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
* refactor(frontend): move from Webpack to ViteLibravatar Kristóf Marussy2022-08-12
* chore: bump dependenciesLibravatar Kristóf Marussy2022-07-27
* build: separate module for frontendLibravatar Kristóf Marussy2021-12-14