add export SVG options - Githubissues

eclipse-sprotty / sprotty-server

Server implementation for the Sprotty diagramming framework

https://eclipse.org/sprotty

Eclipse Public License 2.0

24 stars 19 forks source link

Closed glatuske closed 4 months ago

glatuske commented 4 months ago

Make export SVG options available in Java backend

glatuske commented 4 months ago

@sailingKieler @spoenemann Please check