public void stateChanged(ChangeEvent e) {
                JSlider source = (JSlider)e.getSource();
                    double pass = source.getValue()*1./AUTOMATON_SIZE_INIT;
                    view.setScale(pass);
                    view.requestTransform();
            	    ArrayList<Note> noteslist = drawer.getAutomaton().getNotes();
            	    for(Note n : noteslist){
            	    	n.setFont(new Font("Default", Font.PLAIN, (int)source.getValue()/20));
            	    }
            }