de.grogra.pf.ui
public interface TextEditor extends Panel
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
TEXT_EDITOR_ID |
DEC_WAIT_CURSOR, DEFAULT_CURSOR, INC_WAIT_CURSOR, INHERIT_CURSOR, PANEL_ID, WAIT_CURSOR| Modifier and Type | Method and Description |
|---|---|
java.lang.String[] |
getDocuments() |
void |
openDocument(java.lang.String systemId,
java.lang.String reference) |
checkClose, getContent, getDecorator, getMenu, getPanelId, getUIPropertyMap, initDecorator, resolve, setContent, setCursor, setMenu, showgetComponent, getPanel, getWindow, getWorkbenchdisposestatic final java.lang.String TEXT_EDITOR_ID