Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | feat: generator facade timeout and non-existent objectsHEADmain | 9 hours | |
| | | | | Quality of life improvements for the semantics and generator facade APIs. | ||
* | refactor(frontend): fix icon placement in Safari | 2024-04-27 | |
| | | | | Also affected WebKitGTK | ||
* | feat: custom identifier coloring | 2024-03-22 | |
| | |||
* | refactor(frontend): cleaner SVG export | 2024-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 export | 2024-02-22 | |
| | |||
* | feat(web): toggle identifier coloring | 2024-01-03 | |
| | |||
* | feat(web): color identifiers and nodes | 2024-01-03 | |
| | | | | | We use a palette-based coloring strategy, where each class and enum gets a color from | ||
* | refactor(frontend): hide non-existent nodes | 2023-09-12 | |
| | |||
* | refactor(frontent): improve graph drawing | 2023-08-26 | |
| | |||
* | refactor(web): clean up graphviz visualization | 2023-08-24 | |