java - 增加 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;");