public class TextDocument extends Document
TextDocument
class.Constructor and Description |
---|
TextDocument() |
Modifier and Type | Method and Description |
---|---|
TextModel |
getTextModel()
Fetches the document contents.
|
addDocumentListener, close, equals, getDisplayInfo, getElementImpl, getReader, getTimestamp, getURI, hashCode, isDirty, isNew, isOpen, isReadOnly, markDirty, open, removeDocumentListener, save, setDisplayInfo, setURI
getIcon, getLabel, getLongLabel, getToolTip
public final TextModel getTextModel() throws java.io.IOException
TextModel
containing the document text.java.io.IOException
- if the document cannot be opened.