Hi,
is this an issue with the library or did I understand something
wrong? I still cannot correctly set the style of the edges in
version 1.3 although I tried different approaches.
Thank you,
Eduardo
Am 15.11.2013 15:56, schrieb Eduardo
Lidanski:
Hi Antoine,
thank you for the fix. I tested with the 1.3 release from today
and it seems to work better. But with the upgrade from 1.2 ->
1.3 I got a new problem related with the css file, so I cannot
tell for 100% sure that the problem is gone.
Attached a testcase.
The node AB should change the color to black and stay black, since
g.getEdge("AB").setAttribute("ui.color", 1); is called repeatedly.
But it becomes white again and stays white?!
With release 1.2 the behaviour is different (and correct), so
something changed with release 1.3.
Thank you
Eduardo
public class Test {
public static void main(String args[]) {
DefaultGraph g = new DefaultGraph("Graph");
g.addAttribute("ui.quality");
g.addAttribute("ui.antialias");
try {
g.addAttribute("ui.stylesheet",
StyleConverter.convert(new File("test.css")));
} catch (IOException e) {
System.err.println("CSS File not found");
}
g.addNode("A");
g.addNode("B");
g.addNode("C");
g.addEdge("AB", "A", "B");
g.addEdge("AC", "A", "C");
g.addEdge("BC", "B", "C");
g.display();
while (true) {
try {
Thread.sleep(500);
} catch (InterruptedException e) {
e.printStackTrace();
}
g.getEdge("AB").setAttribute("ui.color", 1);
}
}
}
edge {
fill-mode: dyn-plain;
fill-color: white, black;
size: 1px;
arrow-shape: arrow;
}
Test.css:
Am 14.11.2013 12:14, schrieb Antoine
Dutot:
I Eduardo,
Please could you test it and tell us if it works ?
Antoine
|