Deklaration

Beschreibung

Datenelemente im Detail

public final static String StreamDescriptionProperty

public final static String TitleProperty

Methoden im Detail

public int getLength()

public void addDocumentListener(DocumentListener listener)

public void removeDocumentListener(DocumentListener listener)

public void addUndoableEditListener(UndoableEditListener listener)

public void removeUndoableEditListener(UndoableEditListener listener)

public Object getProperty(Object key)

public void putProperty(Object key, Object value)

public void remove(int offs, int len)

Exception: BadLocationException

• .

public void insertString(int offset, String str, AttributeSet a)

Exception: BadLocationException

• .

public String getText(int offset, int length)

Exception: BadLocationException

• .

public void getText(int offset, int length, Segment txt)

Exception: BadLocationException

• .

public Position getStartPosition()

public Position getEndPosition()

public Position createPosition(int offs)

Exception: BadLocationException

• .

public Element[] getRootElements()

public Element getDefaultRootElement()

public void render(Runnable r)