final void setPage(HtmlPage page) throws IOException {
this.page = page;
final Document doc = textPane.getDocument();
doc.putProperty(Document.TitleProperty, page.getTitle());
// Clearing stream forces refresh.
doc.putProperty(Document.StreamDescriptionProperty, null);
textPane.setPage(page.getPath().toURI().toURL());
find(find.getText());
}
public final Object[] getSelection() {
return new Object[] {String.valueOf(page.getId())};
}
