aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend
Commit message (Collapse)AuthorAge
* refactor: show semantics even if propagation failsLibravatar Kristóf Marussy2024-06-28
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-28
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-23
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-17
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-01
|
* feat: partial referencesLibravatar Kristóf Marussy2024-06-01
| | | | | References marked as partial are not concretized during model generation. The should be managed by the user manually using propagation rules instead.
* refactor(language): rule syntaxLibravatar Kristóf Marussy2024-05-30
| | | | Make the rule syntax more similar to the predicate syntax.
* feat: rule parsingLibravatar Kristóf Marussy2024-05-26
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-05-26
|
* fix(frontend): broken zoom: property in FirefoxLibravatar Kristóf Marussy2024-05-26
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-05-26
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-05-04
|
* feat(frontend): icon for error edgesLibravatar Kristóf Marussy2024-04-28
| | | | Make error edges more visible even in black&white printouts.
* refactor(frontend): crisper zoom in WebKitGTKLibravatar Kristóf Marussy2024-04-27
| | | | | | | Use the non-standard zoom: property whenever available, because it gives a crisper result than transform: scale() in WebKitGTK. See https://developer.mozilla.org/en-US/docs/Web/CSS/zoom
* refactor(frontend): fix icon placement in SafariLibravatar Kristóf Marussy2024-04-27
| | | | Also affected WebKitGTK
* rfactor(frontend): scroll to top on initializationLibravatar Kristóf Marussy2024-04-27
|
* refactor(fronted): add visibility checkbox tooltipsLibravatar Kristóf Marussy2024-04-27
|
* refactor(frontend): improve key bindingsLibravatar Kristóf Marussy2024-04-27
| | | | | | * Accept completions with both Enter or Tab. * Ctrl-d duplicates current line (use Ctrl-Shift-d to select next occurrence). * Suppress browser save dialog on Ctrl-s even if there are no changes.
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-26
|
* feat(frontend): add homepage linkLibravatar Kristóf Marussy2024-04-12
|
* feat(frontend): add tooltips to buttonsLibravatar Kristóf Marussy2024-04-12
|
* refactor(frontend): friendlier table view messagesLibravatar Kristóf Marussy2024-04-12
|
* refactor(frontend): remember export setting for auto themeLibravatar Kristóf Marussy2024-04-12
|
* refactor(frontend): improve SVG minificationLibravatar Kristóf Marussy2024-04-12
|
* feat(web): embed SVG into HTML directlyLibravatar Kristóf Marussy2024-04-11
| | | | | | | * Makes sure element IDs and CSS do not interfere with other diagrams in the same HTML document. * Disables SVGO to allow embedding in Docusaurus with CSS intact. * Replaces PNG figures with SVG in documentation.
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2024-04-11
|
* docs: add webmanifestLibravatar Kristóf Marussy2024-04-10
|
* docs: basic theme and structureLibravatar Kristóf Marussy2024-04-09
|
* docs: add Docusaurus websiteLibravatar Kristóf Marussy2024-04-08
| | | | Also refactor Yarn buildscripts.
* fix(frontend): * operator highlightingLibravatar Kristóf Marussy2024-04-07
| | | | | Only highlight the * character as a number when it is not used as a multiplication operator.
* feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
| | | | | | * Customizable operator overloads. * Customizable aggregation operators. * Simplify ProblemQualifiedNameProvider.
* refactor(language): assignment and cast expressionLibravatar Kristóf Marussy2024-04-07
| | | | Also reorganizes operator names for easier future extension.
* feat(language): datatype declarationsLibravatar Kristóf Marussy2024-04-07
| | | | | Also changes ReferenceDeclaration to declare attributes, since reference and attributes can only be distinguished at linking time.
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-07
|
* build: move Javascript config to top levelLibravatar Kristóf Marussy2024-04-07
| | | | | We need this to support multiple Javascript subprojects (e.g., a frontend and a documentation website).
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-03
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-03-26
|
* feat: custom identifier coloringLibravatar Kristóf Marussy2024-03-22
|
* refactor(web): improve web app stylingLibravatar Kristóf Marussy2024-02-25
|
* chore(deps); bump dependenciesLibravatar Kristóf Marussy2024-02-24
|
* feat(web): file open and saveLibravatar Kristóf Marussy2024-02-24
| | | | In-place saving is only supported in Chromium.
* 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
|
* build(web): remove extraneous console outputLibravatar Kristóf Marussy2024-02-23
|
* build(web): include embedded font assets in service workerLibravatar Kristóf Marussy2024-02-23
|
* 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
|
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-21 07:04:30 +0000