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);
}
