aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src
Commit message (Collapse)AuthorAge
* fix(web): CSP for SVG rasterizationLibravatar Kristóf Marussy2024-02-24
| | | | | | | We have to allow img-src blob: to be able to rasterize SVG files by loading their blobs as object URLs into <img> objects. Also fixes font-style for PNG export.
* refactor(frontend): improve save dialog labelLibravatar Kristóf Marussy2024-02-24
|
* feat(web): pdf exportLibravatar Kristóf Marussy2024-02-23
|
* refactor(web): use filesystem access API when availableLibravatar Kristóf Marussy2024-02-23
|
* fix(frontend): top button stylingLibravatar Kristóf Marussy2024-02-23
|
* feat(frontend): graph export formal selectorLibravatar Kristóf Marussy2024-02-23
|
* feat(frontend): add top bar logoLibravatar Kristóf Marussy2024-02-23
|
* feat(frontend): optional SVG font embeddingLibravatar Kristóf Marussy2024-02-23
| | | | | | | Unfortunately, Pango does not support user-defined fonts, so the embedded font won't work in Inkscape (see https://wiki.inkscape.org/wiki/@font-face_Support) but it can be used in <img> tags on the web (see https://vecta.io/blog/how-to-use-fonts-in-svg).
* refactor(frontend): cleaner SVG exportLibravatar Kristóf Marussy2024-02-23
| | | | | | | | | Make sure svg can process the resulting SVG without changing visuals. In particular, we must not use specific stroke/fill values as CSS selectors, because svgo may change them into hex codes. Instead, we annotate all diagram elements with class names.
* feat(web): SVG exportLibravatar Kristóf Marussy2024-02-22
|
* fix(frontend): module name highlightingLibravatar Kristóf Marussy2024-02-18
|
* refactor(language): name disambiguationLibravatar Kristóf Marussy2024-02-02
| | | | | | * Use fully qualified names starting with :: (as in C++) to unambiguously refer to an element. * Name shadowing within modules.
* feat(language): validate module isolationLibravatar Kristóf Marussy2024-01-31
|
* refactor(language): module and node declarationsLibravatar Kristóf Marussy2024-01-31
| | | | | | | | * New default file extension: .refinery (.problem is also supported). * Add module keyword for self-contained modules. * Rename indiv declarations to atom declaration. * Add node and multi declarations for explicitly declared nodes and multi-objects, respectively.
* 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
| | | | | We use a palette-based coloring strategy, where each class and enum gets a color from
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-11-19
|
* fix(frontend): contains contextual keywordLibravatar Kristóf Marussy2023-10-16
| | | | | | | Make sure contains is parsed as a contextual keyword whenever possible. The existing cut operator wasn't sufficient for this, so we also add dynamic precedence to the grammar rule.
* feat(frontend): save in URL fragmentLibravatar Kristóf Marussy2023-09-26
|
* fix(frontend): typo in EditorThemeLibravatar Kristóf Marussy2023-09-19
|
* fix(frontend): XState warningLibravatar Kristóf Marussy2023-09-17
| | | | Make sure we do not create conflicting transitions.
* build: fix Sonar quality gate issuesLibravatar Kristóf Marussy2023-09-16
| | | | | Removes VIATRA sources from coverage anaylsis, since those files are maintained by the VIATRA project.
* feat: specify random seed for generationLibravatar Kristóf Marussy2023-09-14
|
* fix(frontend): keep live while model generationLibravatar Kristóf Marussy2023-09-13
| | | | | Do not close the connection in a background tab if the model generation is still running, because closing the connection will immediately cancel generation.
* fix: example Statechart specificationLibravatar Kristóf Marussy2023-09-13
| | | | The default multiplicity is [0..1].
* refactor(frontend): generation appearance fixesLibravatar Kristóf Marussy2023-09-13
| | | | | * Allow scrolling the tab bar. * Less prominent error text.
* refactor(frontend): hide non-existent nodesLibravatar Kristóf Marussy2023-09-12
|
* feat: connect model generator to UILibravatar Kristóf Marussy2023-09-12
|
* fix(frontend): GraphArea scrollLibravatar Kristóf Marussy2023-09-05
| | | | | When the VisibilityDialog is not open, it should be unmounted to allow the VisibilityPanel to become small and not cover the GraphArea below.
* refactor: disable all animations for large graphsLibravatar Kristóf Marussy2023-09-05
|
* refactor: server environemntal variablesLibravatar Kristóf Marussy2023-09-04
| | | | | | * Prefix each variable with REFINERY_ * If not public host is specified, allow all origings and compute the WebSocket address on the client from the origin.
* refactor(frontend): graph visualizer performanceLibravatar Kristóf Marussy2023-09-04
| | | | Also show scopes unconditionally if enabled.
* 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
|