public void setPage(URL url) throws IOException {
// If we haven't created a peer yet, force us to use a browser, since
// setPage is really aimed at HTML.
if (!SwingWTUtils.isSWTControlAvailable(editorPaneImpl.getSWTPeer())) {
loadBrowserEditorPane();
}
editorPaneImpl.setPage(url);
}
public void setSelectionColor(Color color) {
editorPaneImpl.setSelectionColor(color);
}
public void setEditorKit(EditorKit k) {
editorPaneImpl.setEditorKit(k);
}
public EditorKit getEditorKit() {
return editorPaneImpl.getEditorKit();
}
public int getSelectionEnd() {
return editorPaneImpl.getSelectionEnd();
}
public boolean isEditable() {
return editorPaneImpl.isEditable();
}
public void setText(String text) {
editorPaneImpl.setText(text);
}
/**
* Once a parent component receives an "add" call for a child, this being the child, this should
* be called to tell us to instantiate the peer and load in any cached properties.
*/
public void setSwingWTParent(swingwt.awt.Container parent) throws Exception {
descendantHasPeer = true;
editorPaneImpl.setSwingWTParent(parent);
peer = editorPaneImpl.getSWTPeer();
}
public void removeHyperlinkListener(swingwtx.swing.event.HyperlinkListener l) {
editorPaneImpl.removeHyperlinkListener(l);
}
public void addHyperlinkListener(swingwtx.swing.event.HyperlinkListener l) {
editorPaneImpl.addHyperlinkListener(l);
}
public Document getDocument() {
return editorPaneImpl.getDocument();
}
public void setDocument(Document newdoc) {
editorPaneImpl.setDocument(newdoc);
}
public void setEditable(boolean b) {
editorPaneImpl.setEditable(b);
}
public Color getSelectionColor() {
return editorPaneImpl.getSelectionColor();
}
public void setCaretPosition(int pos) {
editorPaneImpl.setCaretPosition(pos);
}
public void scrollToReference(String reference) {
editorPaneImpl.scrollToReference(reference);
}
public int getCaretPosition() {
return editorPaneImpl.getCaretPosition();
}
public String getText() {
return editorPaneImpl.getText();
}
public int getSelectionStart() {
return editorPaneImpl.getSelectionStart();
}
public String getContentType() {
return editorPaneImpl.getContentType();
}
public void setContentType(String contentType) {
editorPaneImpl.setContentType(contentType);
}
