93 |
vs.matcher.add(box2screen, box2paper, "BOX2PAPER"); |
vs.matcher.add(box2screen, box2paper, "BOX2PAPER"); |
94 |
setZoomPan(vs, box2paper); |
setZoomPan(vs, box2paper); |
95 |
|
|
96 |
if (RDFUtil.isNodeType(fen, plane, PP.Paper) || |
if (fen != null) |
97 |
RDFUtil.isNodeType(fen, plane, RST.Canvas)) ; |
if (RDFUtil.isNodeType(fen, plane, PP.Paper) || |
98 |
else throw new Error("plane is NOT a container!"); |
RDFUtil.isNodeType(fen, plane, RST.Canvas)) ; |
99 |
|
else throw new Error("plane is NOT a container!"); |
100 |
|
|
101 |
view2d.render(vs, plane, into, into, box2paper); |
view2d.render(vs, plane, into, into, box2paper); |
102 |
} |
} |