增加GraphStream边缘宽度

Question

是否有任何方法可以增加GraphStream的边缘宽度？

我尝试了什么：

edge.addAttribute("ui.style", "stroke-width: 30px; fill-color: red;");

Answer 1

我想您正在寻找size属性。

edge.addAttribute("ui.style", "size: 5px; fill-color: red;");

Answer 2

使用以下：

graph.setAttribute("ui.stylesheet", "edge{size:30px;}");