108 |
|
|
109 |
final TextStyle style = api.getTextStyle("Serif", 0, 12); |
final TextStyle style = api.getTextStyle("Serif", 0, 12); |
110 |
final NodeView nodeView = new NodeView() { |
final NodeView nodeView = new NodeView() { |
111 |
public void render(VobScene sc, int into, RDFNode node, |
public void render(VobScene sc, int into, Nodespec spec) { |
112 |
Property prop, int dir) { |
RDFNode node = spec.node; |
113 |
|
Property prop = spec.prop; |
114 |
|
int dir = spec.dir; |
115 |
|
|
116 |
RectBgVob bg = new RectBgVob(); |
RectBgVob bg = new RectBgVob(); |
117 |
if(node.equals(cursor.getRotationNode(dir))) // if selected |
if(node.equals(cursor.getRotationNode(dir))) // if selected |
118 |
bg.addColor(Color.red); |
bg.addColor(Color.red); |