if (e.getEventType()!=HyperlinkEvent.EventType.ACTIVATED) return;
if (e.getURL().getPath().endsWith("quit.htm")) { frame.dispose(); return; }
HTMLDocument doc = (HTMLDocument) (html2.getDocument());
doc.setAsynchronousLoadPriority(-1); // So that we can catch any exception that may occur
html2.setPage(e.getURL());
html2.requestFocusInWindow();
} catch(Throwable ex) { }
}
};
html1.setEditable(false); html1.setBorder(new EmptyBorder(3,3,3,3)); html1.addHyperlinkListener(hl);
html2.setEditable(false); html2.setBorder(new EmptyBorder(3,3,3,3)); html2.addHyperlinkListener(hl);