7980818283848586878889
} }); JButton def = new JButton("F0"); def.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent event) { panel.resetFontSize(); System.out.println("reset"); } }); JButton larger = new JButton("F+");
8384858687888990919293