public GraphicsBackend.Font getFont(AnnisNode n) { if (n.isToken()) { return backend.getFont(Font.SANS_SERIF, 12, java.awt.Font.PLAIN); } else { return backend.getFont(Font.SANS_SERIF, 15, java.awt.Font.BOLD); } }
public GraphicsBackend.Font getFont(Edge e) { return backend.getFont(Font.SANS_SERIF, 10, java.awt.Font.PLAIN); }