64 |
new Cursor(order, stmt.getSubject(), 1, stmt.getObject()); |
new Cursor(order, stmt.getSubject(), 1, stmt.getObject()); |
65 |
|
|
66 |
final Vob bg = new RectBgVob(); |
final Vob bg = new RectBgVob(); |
67 |
|
final RectBgVob selectionbg = new RectBgVob(); |
68 |
|
selectionbg.setBg(Color.red); |
69 |
final TextStyle style = api.getTextStyle("Serif", 0, 12); |
final TextStyle style = api.getTextStyle("Serif", 0, 12); |
70 |
final NodeView nodeView = new NodeView() { |
final NodeView nodeView = new NodeView() { |
71 |
public void render(VobScene sc, int into, RDFNode node) { |
public void render(VobScene sc, int into, RDFNode node, |
72 |
sc.map.put(bg, into); |
int dir) { |
73 |
|
if(node.equals(cursor.getRotationNode(dir))) |
74 |
|
sc.map.put(selectionbg, into); |
75 |
|
else |
76 |
|
sc.map.put(bg, into); |
77 |
String s = node.toString(); |
String s = node.toString(); |
78 |
if(s.length() > 25) s = s.substring(s.length()-25); |
if(s.length() > 25) s = s.substring(s.length()-25); |
79 |
sc.map.put(new TextVob(style, s), |
sc.map.put(new TextVob(style, s), |