java增加Graphstream边缘宽度

Question

有没有办法增加Graphstream的边缘宽度

我所尝试的：

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

Answer 1

使用以下命令：

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

Answer 2

我猜您正在寻找size属性

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