Beispiel #1
0
 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);
   }
 }
Beispiel #2
0
 public GraphicsBackend.Font getFont(Edge e) {
   return backend.getFont(Font.SANS_SERIF, 10, java.awt.Font.PLAIN);
 }