Module platform.swing

Package de.grogra.pf.ui.swing

Class TextEditorSupport.Doc

java.lang.Object

javax.swing.text.AbstractDocument

javax.swing.text.PlainDocument

de.grogra.pf.ui.swing.TextEditorSupport.Doc

All Implemented Interfaces:

FileDocument, Serializable, Runnable, Document

Enclosing class:

TextEditorSupport

protected class TextEditorSupport.Doc
extends PlainDocument
implements Runnable, FileDocument

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.text.AbstractDocument

AbstractDocument.AbstractElement, AbstractDocument.AttributeContext, AbstractDocument.BranchElement, AbstractDocument.Content, AbstractDocument.DefaultDocumentEvent, AbstractDocument.ElementEdit, AbstractDocument.LeafElement

Field Summary

Fields inherited from class javax.swing.text.PlainDocument

lineLimitAttribute, tabSizeAttribute

Fields inherited from class javax.swing.text.AbstractDocument

BAD_LOCATION, BidiElementName, ContentElementName, ElementNameAttribute, listenerList, ParagraphElementName, SectionElementName

Fields inherited from interface javax.swing.text.Document

StreamDescriptionProperty, TitleProperty

Method Summary

Modifier and Type	Method	Description
protected void	fireChangedUpdate(DocumentEvent e)
protected void	fireInsertUpdate(DocumentEvent e)
protected void	fireRemoveUpdate(DocumentEvent e)
MimeType	getMimeType()
String	getSystemId()
protected void	insertUpdate(AbstractDocument.DefaultDocumentEvent e, AttributeSet a)
boolean	isEditable()
boolean	isModified()
protected void	postRemoveUpdate(AbstractDocument.DefaultDocumentEvent e)
void	run()
void	save()

Methods inherited from class javax.swing.text.PlainDocument

createDefaultRoot, getDefaultRootElement, getParagraphElement, insertString, removeUpdate

Methods inherited from class javax.swing.text.AbstractDocument

addDocumentListener, addUndoableEditListener, createBranchElement, createLeafElement, createPosition, dump, fireUndoableEditUpdate, getAsynchronousLoadPriority, getAttributeContext, getBidiRootElement, getContent, getCurrentWriter, getDocumentFilter, getDocumentListeners, getDocumentProperties, getEndPosition, getLength, getListeners, getProperty, getRootElements, getStartPosition, getText, getText, getUndoableEditListeners, putProperty, readLock, readUnlock, remove, removeDocumentListener, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlock

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface javax.swing.text.Document

addDocumentListener, addUndoableEditListener, createPosition, getDefaultRootElement, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, insertString, putProperty, remove, removeDocumentListener, removeUndoableEditListener, render

Method Details

save

public void save()

Specified by:

save in interface FileDocument

run

public void run()

Specified by:

run in interface Runnable

postRemoveUpdate

protected void postRemoveUpdate(AbstractDocument.DefaultDocumentEvent e)

Overrides:

postRemoveUpdate in class AbstractDocument

insertUpdate

protected void insertUpdate(AbstractDocument.DefaultDocumentEvent e,
 AttributeSet a)

Overrides:

insertUpdate in class PlainDocument

fireRemoveUpdate

protected void fireRemoveUpdate(DocumentEvent e)

Overrides:

fireRemoveUpdate in class AbstractDocument

fireInsertUpdate

protected void fireInsertUpdate(DocumentEvent e)

Overrides:

fireInsertUpdate in class AbstractDocument

fireChangedUpdate

protected void fireChangedUpdate(DocumentEvent e)

Overrides:

fireChangedUpdate in class AbstractDocument

isModified

public boolean isModified()

Specified by:

isModified in interface FileDocument

isEditable

public boolean isEditable()

Specified by:

isEditable in interface FileDocument

getSystemId

public String getSystemId()

Specified by:

getSystemId in interface FileDocument

getMimeType

public MimeType getMimeType()

Specified by:

getMimeType in interface FileDocument