Method FontResizeBug

unused/debugging/FontResizeBug.java:32–63

()

	JTable table;

	@SuppressWarnings("deprecation")
	FontResizeBug() {
	    menuBar = new JMenuBar();
		frame.getRootPane().setMenuBar(menuBar);
		// font menu
		JMenu fontMenu = new JMenu("Font Test"); //$NON-NLS-1$
		menuBar.add(fontMenu);
		JMenuItem sizeUpItem = new JMenuItem("Increase"); //$NON-NLS-1$
		sizeUpItem.addActionListener(new ActionListener() {
			public void actionPerformed(ActionEvent e) {
				FontSizer.levelUp();
			}

		});
		fontMenu.add(sizeUpItem);

		table = new JTable(data, columnNames);

		FontSizer.setFonts(table, FontSizer.getLevel());
		FontSizer.addPropertyChangeListener("level", new PropertyChangeListener() { //$NON-NLS-1$
			public void propertyChange(PropertyChangeEvent e) {
				int level = ((Integer) e.getNewValue()).intValue();
				FontSizer.setFonts(menuBar, level);
				FontSizer.setFonts(table, level);
			}

		});

		frame.setContentPane(table);
		frame.setSize(500, 500);
		frame.setVisible(true);
	}

	public static void main(String[] args) {
		new FontResizeBug();