package automatvgi;

import javax.swing.JFrame;
import javax.swing.JPanel;
import javax.swing.JTextArea;

public class Memento extends JFrame {
	private static final long serialVersionUID = 1L;

	public Memento(){
		JPanel panel=new JPanel();
		JTextArea text=new JTextArea();
		text.setEditable(false);
		text.setText("Road Coloring\n"+
				"l,r : rotation of the drawing\n"+
				"z,y : zoom in, zoom out\n"+
				"f: Show flip one state \n"+
				"p : print the VCSN-G of the automaton\n");
		panel.add(text);
		setContentPane(panel);
		setTitle("Memento");
		setVisible(true);
		setDefaultCloseOperation(DISPOSE_ON_CLOSE);
		pack();
	}
	
	
	
	
	
}