package automatvgi.edit;

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

public class LatexDump extends JFrame {

	private static final long serialVersionUID = 1L;

	public LatexDump(String s){
		setContentPane(new JTextArea(s));
		setVisible(true);
	}
	
}