/* Standardschriften12.inc */ public void paint(Graphics g) { Font font; GraphicsEnvironment ge = GraphicsEnvironment.getLocalGraphicsEnvironment(); String[] arfonts = ge.getAvailableFontFamilyNames(); for (int i=0; i