panel.setMinFontScale(0.01F);
panel.setMaxFontScale(12F);
JButton smaller = new JButton("F-");
smaller.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent event) {
panel.decrementFontSize();
System.out.println("decremented");
}
});
JButton def = new JButton("F0");
def.addActionListener(new ActionListener() {