!7

p-substance {
  S html = hhtml(href("abc", "ABC") + "<br>" + href("def", "DEF"));
  JEditorPane editorPane = new JEditorPane("text/html", html);
  editorPane.setEditable(false);
  showFrame(new JScrollPane(editorPane));
  editorPane.addHyperlinkListener(new HyperlinkListener {
    public void hyperlinkUpdate(HyperlinkEvent e) {
      print("Event! " + e.getEventType() + " " + e.getDescription() + " " + e.getURL());
    }
  });
}