package gui.html;


public class HtmlViewer extends gui.ClosableJFrame {
  private javax.swing.JEditorPane htmlPane
      = new javax.swing.JEditorPane();
  private javax.swing.JEditorPane textPane
      = new javax.swing.JEditorPane();

  public HtmlViewer() {
    super("HtmlViewer");
    java.awt.Container c = getContentPane();
    c.setLayout(new java.awt.GridLayout(1, 0));
    c.add(new javax.swing.JScrollPane(htmlPane));
    c.add(new javax.swing.JScrollPane(textPane));
    setSize(400, 400);
    setVisible(true);
  }

  public void setHtml(String s) {
    htmlPane.setContentType("text/html");
    htmlPane.setText(s);
  }

  public void setText(String s) {
    textPane.setContentType("text/plain");
    textPane.setText(s);
  }

  public void setString(String s) {
    setText(s);
    setHtml(s);
    System.out.println(s);
  }

  public static void main(String args[]) {
    HtmlViewer hv = new HtmlViewer();
    HtmlSynthesizer hs = new HtmlSynthesizer();
    hv.setString(hs.testForm());
  }
}