StreamDescriptionProperty, TitleProperty
Constructor and Description |
---|
NonFilteringPlainDocument() |
Modifier and Type | Method and Description |
---|---|
void |
addDocumentListener(DocumentListener listener) |
void |
addUndoableEditListener(UndoableEditListener listener) |
Position |
createPosition(int offs) |
Element |
getDefaultRootElement() |
Position |
getEndPosition() |
int |
getLength() |
Object |
getProperty(Object key) |
Element[] |
getRootElements() |
Position |
getStartPosition() |
String |
getText(int offset,
int length) |
void |
getText(int offset,
int length,
Segment txt) |
void |
insertString(int offset,
String str,
AttributeSet a) |
void |
putProperty(Object key,
Object value) |
void |
remove(int offs,
int len) |
void |
removeDocumentListener(DocumentListener listener) |
void |
removeUndoableEditListener(UndoableEditListener listener) |
void |
render(Runnable r) |
public void addDocumentListener(DocumentListener listener)
addDocumentListener
in interface Document
public void removeDocumentListener(DocumentListener listener)
removeDocumentListener
in interface Document
public void addUndoableEditListener(UndoableEditListener listener)
addUndoableEditListener
in interface Document
public void removeUndoableEditListener(UndoableEditListener listener)
removeUndoableEditListener
in interface Document
public Object getProperty(Object key)
getProperty
in interface Document
public void putProperty(Object key, Object value)
putProperty
in interface Document
public void remove(int offs, int len) throws BadLocationException
remove
in interface Document
BadLocationException
public void insertString(int offset, String str, AttributeSet a) throws BadLocationException
insertString
in interface Document
BadLocationException
public String getText(int offset, int length) throws BadLocationException
getText
in interface Document
BadLocationException
public void getText(int offset, int length, Segment txt) throws BadLocationException
getText
in interface Document
BadLocationException
public Position getStartPosition()
getStartPosition
in interface Document
public Position getEndPosition()
getEndPosition
in interface Document
public Position createPosition(int offs) throws BadLocationException
createPosition
in interface Document
BadLocationException
public Element[] getRootElements()
getRootElements
in interface Document
public Element getDefaultRootElement()
getDefaultRootElement
in interface Document