public void stateChanged(ChangeEvent e) {
                JSlider source = (JSlider)e.getSource();
                myTable.setFont(new Font("Default", Font.PLAIN, source.getValue()/10));
                myTable.setRowHeight(source.getValue()/10+10);
            }