140 |
public int dx = 30, dy = 30; |
public int dx = 30, dy = 30; |
141 |
protected java.awt.Rectangle getRect(Object node) { |
protected java.awt.Rectangle getRect(Object node) { |
142 |
if (node == null) throw new Error("Impossible!"); |
if (node == null) throw new Error("Impossible!"); |
143 |
int x = RDFUtil.getInt(fen, node, CANVAS2D.x); |
int x = RDFUtil.getInt(fen.graph, node, CANVAS2D.x); |
144 |
int y = RDFUtil.getInt(fen, node, CANVAS2D.y); |
int y = RDFUtil.getInt(fen.graph, node, CANVAS2D.y); |
145 |
Placeable p = (Placeable)nodeView.f(fen.constgraph, node); |
Placeable p = (Placeable)nodeView.f(fen.constgraph, node); |
146 |
return new java.awt.Rectangle(x-dx, y-dy, |
return new java.awt.Rectangle(x-dx, y-dy, |
147 |
(int)p.getWidth()+dx+dx, |
(int)p.getWidth()+dx+dx, |