Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | refactor(frontend): fix icon placement in Safari | 2024-04-27 | |
| | | | | Also affected WebKitGTK | ||
* | feat(web): pdf export | 2024-02-23 | |
| | |||
* | feat(frontend): graph export formal selector | 2024-02-23 | |
| | |||
* | feat(web): SVG export | 2024-02-22 | |
| | |||
* | feat: connect model generator to UI | 2023-09-12 | |
| | |||
* | feat(frontend): projection dialog | 2023-08-30 | |
| | |||
* | feat(frontend): automatic fit zoom | 2023-08-24 | |
| | |||
* | refactor(web): clean up graphviz visualization | 2023-08-24 | |
| | |||
* | refactor(web): move d3-zoom patch into repo | 2023-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 controls | 2023-08-23 | |
| | |||
* | refactor: d3 zoom centering | 2023-08-23 | |
| | | | | Uses patch from https://github.com/d3/d3-zoom/pull/212 | ||
* | feat: dot visualization | 2023-08-23 | |