graphstream: FileSinkImages转png与parallels edges不兼容

Question

我正在尝试使用FileSinkImages绘制图像：

FileSinkImages pic = new FileSinkImages(OutputType.png, Resolutions.HD720);
pic.setLayoutPolicy(LayoutPolicy.COMPUTED_FULLY_AT_NEW_IMAGE);
pic.setQuality(Quality.HIGH);
pic.writeAll(graph, filename);

graph.display();

显示的图像是正确的:平行边是曲线，在打印的图像中是重叠线。

Answer 1

已解决：

pic.setRenderer(RendererType.SCALA);

我认为

System.setProperty("org.graphstream.ui.renderer", "org.graphstream.ui.j2dviewer.J2DGraphRenderer");

对图像渲染器没有影响。