148 |
if(dbg) pa("No plane!"); |
if(dbg) pa("No plane!"); |
149 |
continue; |
continue; |
150 |
} |
} |
151 |
Object anchor = new Triple(plane, getRect(node), null); |
Object anchor = getAnchor(plane, node); |
152 |
l.link(-1, cs, normalNodeNodeType, |
l.link(-1, cs, normalNodeNodeType, |
153 |
new Pair(node, span.getScrollBlock()), |
new Pair(node, span.getScrollBlock()), |
154 |
anchor); |
anchor); |
161 |
} |
} |
162 |
|
|
163 |
public float mx = 1.1f, my = 1.1f; |
public float mx = 1.1f, my = 1.1f; |
164 |
protected java.awt.Rectangle getRect(Object node) { |
protected View2D.Anchor getAnchor(Object plane, Object node) { |
165 |
if (node == null) throw new Error("Impossible!"); |
if (node == null) throw new Error("Impossible!"); |
166 |
float x = RDFUtil.getFloat(fen.graph, node, CANVAS2D.x); |
float x = RDFUtil.getFloat(fen.graph, node, CANVAS2D.x); |
167 |
float y = RDFUtil.getFloat(fen.graph, node, CANVAS2D.y); |
float y = RDFUtil.getFloat(fen.graph, node, CANVAS2D.y); |
171 |
float h = p.getHeight(); |
float h = p.getHeight(); |
172 |
int bw = (int)(mx * w); |
int bw = (int)(mx * w); |
173 |
int bh = (int)(my * h); |
int bh = (int)(my * h); |
174 |
return new java.awt.Rectangle((int)(x-bw), (int)(y-bh), |
return new View2D.Anchor(plane, |
175 |
(int)w+2*bw, |
x-bw, y-bh, w+2*bw, h+2*bh, |
176 |
(int)h+2*bh); |
node); |
177 |
} |
} |
178 |
} |
} |