export SVG instead of PNG

[kohlhase]

We always have the problem that for papers we need high-resolution screenshots, ....
one solution would be to export SVG instead of PNG. In principle we should have the necessary information in the javascript library.

[kohlhase]

@Jazzpirate fyi

[Shadow992]

Not possible at all without dot installed on backend or some big custom library which converts graph to SVG, see also

visjs/vis#1784

[kohlhase]

I would be willing to have dot installed for getting high quality static graphs out, that can be printed, ... But this does not have high priority.

[Shadow992]

When we implemented #40 this may be solved easily by using dot or similar to create the graphs needed.

[rappatoni]

I recently had this problem for a poster. In the meantime, simply getting a higher-resolution PNG could be good enough?