repaint();
	private void mySetFont(String font, int sz) {		fontName.setText("Font = " + font);		Font f = new Font(font, Font.PLAIN, sz);		for (int i = 0; i<ROWS; i++) {			for (int j = 0; j<COLUMNS; j++)				buttons[i][j].setFont(f);		}	}