package gui.html;


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

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

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

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

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