aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src
Commit message (Collapse)AuthorAge
* feat(frontend): hide object scopes by defaultLibravatar Kristóf Marussy2023-09-03
|
* chore: prefer Prolog-style commentsLibravatar Kristóf Marussy2023-09-03
|
* feat: scope propagator in languageLibravatar Kristóf Marussy2023-09-03
|
* refactor(frontend): secondary pane switch shortcutLibravatar Kristóf Marussy2023-08-31
|
* refactor(frontend): compact relation tableLibravatar Kristóf Marussy2023-08-31
|
* refactor(frontend): pane button themeLibravatar Kristóf Marussy2023-08-31
|
* feat(frontend): implement grid viewLibravatar Kristóf Marussy2023-08-31
|
* feat(frontend): window pane switcherLibravatar Kristóf Marussy2023-08-30
|
* refactor(frontend): filter dialog formattingLibravatar Kristóf Marussy2023-08-30
|
* fix(frontend): completion cache invalidationLibravatar Kristóf Marussy2023-08-30
| | | | | | In some cases, especially with an empty editor, trying to map completions over the last changes may result in a RangeError. If unhandled, the error corrupts editor state.
* feat(frontend): hide isolated nodesLibravatar Kristóf Marussy2023-08-30
|
* feat(frontend): projection dialogLibravatar Kristóf Marussy2023-08-30
|
* refactor(frontend): containment arrow sizeLibravatar Kristóf Marussy2023-08-29
|
* refactor(frontent): improve graph drawingLibravatar Kristóf Marussy2023-08-26
|
* feat(frontend): automatic fit zoomLibravatar Kristóf Marussy2023-08-24
|
* chore: clarify permissing licensingLibravatar Kristóf Marussy2023-08-24
| | | | | | | | | | | | For permissive licenses like MIT and BSD, OR EPL doesn't make sense, because the copyright original permission notice must be retained at all times. For code simply copied with minimal modifications that are unrelated to Refinery, we can just use the plain MIT license or BSD-3-clause license. For code with complex modifications related to Refinery, we can instead use the MIT AND EPL-2.0 SPDX expression, which forces downstream users to retain the original MIT notices as required by the MIT license, but also extends Refinery's copyleft to our modifications.
* refactor(web): clean up graphviz visualizationLibravatar Kristóf Marussy2023-08-24
|
* refactor(web): move d3-zoom patch into repoLibravatar Kristóf Marussy2023-08-23
| | | | | Instead of referencing an external pull request, move the patch into yarn/.patches and update it to handle pinch-to-zoom.
* feat(web): zoom controlsLibravatar Kristóf Marussy2023-08-23
|
* refactor: d3 zoom centeringLibravatar Kristóf Marussy2023-08-23
| | | | Uses patch from https://github.com/d3/d3-zoom/pull/212
* feat: dot visualizationLibravatar Kristóf Marussy2023-08-23
|
* feat: improve semantics error reportingLibravatar Kristóf Marussy2023-08-20
| | | | | Also makes model seeds cancellable to reduce server load during semantic analysis.
* feat: predicate semanticsLibravatar Kristóf Marussy2023-08-18
|
* fix: opposite translation error reportingLibravatar Kristóf Marussy2023-08-17
|
* feat: basic semantics mapping and visualizationLibravatar Kristóf Marussy2023-08-17
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-08-15
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-06-18
|
* fix(web): editor cursor stylingLibravatar Kristóf Marussy2023-04-26
| | | | | Temporarily remove custom scrollbar and indentation styling, because they interferred with cursor visibility.
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
| | | | | | | | | | | | | | Make sure we obey the REUSE (https://reuse.software) specification and the origin, copyright owner, and license of all files are clearly marked. The whole project is under the EPL-2.0, except for trivial files where copyright is not applicable that are marked with the CC0-1.0 license. Moreover, code included from third parties is also available under the respective license. chore: add CONTRIBUTORS.md List all authors and supporting organizations in accordance with the REUSE specification.
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-03-31
|
* 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
| | | | | Make sure the CodeMirror DOM is fully ready before inserting a spacer element for overscroll behavior.
* feat(frontend): add links to top barLibravatar Kristóf Marussy2022-12-21
|
* refactor(frontend): split vite configLibravatar Kristóf Marussy2022-12-11
| | | | | Also introduces tsconfig.shared.json to keep track of source files used both and build time and in the browser.
* refactor(frontend): lazy load XtextClientLibravatar Kristóf Marussy2022-12-11
| | | | | Improve time to a usable editor by loading the xtext client lazily. The already existing delay to connect masks the delay of loading.
* refactor(frontend): theme improvementsLibravatar Kristóf Marussy2022-12-09
|
* refactor(frontend): scrollbar improvementsLibravatar Kristóf Marussy2022-12-09
|
* feat(frontend): dev mode badgeLibravatar Kristóf Marussy2022-12-09
| | | | Thanks @marci543
* fix(frontend): reduce Android rendering errorsLibravatar Kristóf Marussy2022-12-09
|
* fix(frontend): content assist error recoveryLibravatar Kristóf Marussy2022-12-09
|
* feat(frontend): scroll beyond last line in editorLibravatar Kristóf Marussy2022-12-09
| | | | Mimics the polular behavior from Codium.
* refactor(frontend): simplify diagnostic trackingLibravatar Kristóf Marussy2022-12-09
|
* fix(frontend): mobx 6.7.0 typingLibravatar Kristóf Marussy2022-11-22
| | | | | | | Also bumps some dependencies and updates tsconfig.json The added workarounds should be remove once https://github.com/mobxjs/mobx/issues/3582 is resolved.
* refactor(language): simplify syntaxLibravatar Kristóf Marussy2022-11-22
|
* refactor: separate primitive types from nodesLibravatar Kristóf Marussy2022-11-22
|
* feat(language): numeric expressionsLibravatar Kristóf Marussy2022-11-22
|
* feat(web): backend URL configurationLibravatar Kristóf Marussy2022-11-10
| | | | | | | | To point the frontend to a backend server, update the config.json file in the website root. The config.json is generated automatically in debug mode and when running from a standalone jar.
* feat(frontend): scrollbar annotationsLibravatar Kristóf Marussy2022-11-05
|
* feat(frontend): overlay scrollbars for editorLibravatar Kristóf Marussy2022-11-05
|
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-10 10:03:21 +0000