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);
JScrollPane scroll1 = OurUtil.scrollpane(html1);
JScrollPane scroll2 = OurUtil.scrollpane(html2);
JSplitPane split = OurUtil.splitpane(JSplitPane.HORIZONTAL_SPLIT, scroll1, scroll2, 150);
split.setResizeWeight(0d);
frame.setTitle("Alloy Analyzer Online Guide");