/* Schriften.inc */

public void paint(Graphics g)
{
  Font font;
  String[] arfonts = {"Serif","SansSerif","Monospaced"};

  for (int i=0; i<arfonts.length; ++i) {
    font = new Font(arfonts[i],Font.PLAIN,36);
    g.setFont(font);
    g.drawString(arfonts[i],10,30 + (i+1)*(36+5));
  }
}