Parent Directory | Revision Log | Patch
revision 1.34 by tjl, Wed Aug 13 13:29:16 2003 UTC | revision 1.35 by tjl, Thu Aug 14 07:32:55 2003 UTC | |
---|---|---|
# | Line 65 public static final String rcsid = "$Id$ | Line 65 public static final String rcsid = "$Id$ |
65 | setFen(fen); | setFen(fen); |
66 | } | } |
67 | ||
68 | // --- Utilities | |
69 | public boolean isPaper(String paperURI) { | |
70 | return RDFUtil.isNodeType(fen.graph, Nodes.get(paperURI), | |
71 | CANVAS2D.Canvas); | |
72 | } | |
73 | ||
74 | ||
75 | // --- implement PPActions | // --- implement PPActions |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |