79 |
final Cursor cursor = |
final Cursor cursor = |
80 |
new Cursor(order, stmt.getSubject(), 1, stmt.getObject()); |
new Cursor(order, stmt.getSubject(), 1, stmt.getObject()); |
81 |
|
|
|
final Vob bg = new RectBgVob(); |
|
|
final RectBgVob selectionbg = new RectBgVob(); |
|
|
selectionbg.setBg(Color.red); |
|
82 |
final TextStyle style = api.getTextStyle("Serif", 0, 12); |
final TextStyle style = api.getTextStyle("Serif", 0, 12); |
83 |
final NodeView nodeView = new NodeView() { |
final NodeView nodeView = new NodeView() { |
84 |
public void render(VobScene sc, int into, RDFNode node, |
public void render(VobScene sc, int into, RDFNode node, |
85 |
int dir) { |
int dir) { |
86 |
if(node.equals(cursor.getRotationNode(dir))) |
RectBgVob bg = new RectBgVob(); |
87 |
sc.map.put(selectionbg, into); |
if(node.equals(cursor.getRotationNode(dir))) // if selected |
88 |
else |
bg.addColor(Color.red); |
89 |
sc.map.put(bg, into); |
if(!(node instanceof Resource)) // if literal |
90 |
|
bg.addColor(Color.yellow); |
91 |
|
sc.map.put(bg, into); |
92 |
String s = node.toString(); |
String s = node.toString(); |
93 |
if(s.length() > 25) s = s.substring(s.length()-25); |
if(s.length() > 25) s = s.substring(s.length()-25); |
94 |
sc.map.put(new TextVob(style, s), |
sc.map.put(new TextVob(style, s), |