class ScriptEditor.EditorDocument extends DefaultStyledDocument
| Modifier and Type | Class and Description |
|---|---|
protected class |
ScriptEditor.EditorDocument.MyUndoableEditListener |
DefaultStyledDocument.AttributeUndoableEdit, DefaultStyledDocument.ElementBuffer, DefaultStyledDocument.ElementSpec, DefaultStyledDocument.SectionElementAbstractDocument.AbstractElement, AbstractDocument.AttributeContext, AbstractDocument.BranchElement, AbstractDocument.Content, AbstractDocument.DefaultDocumentEvent, AbstractDocument.ElementEdit, AbstractDocument.LeafElement| Modifier and Type | Field and Description |
|---|---|
(package private) ScriptEditor.EditorTextPane |
EditorTextPane |
protected UndoManager |
undo |
buffer, BUFFER_SIZE_DEFAULTBAD_LOCATION, BidiElementName, ContentElementName, ElementNameAttribute, listenerList, ParagraphElementName, SectionElementNameStreamDescriptionProperty, TitleProperty| Constructor and Description |
|---|
EditorDocument() |
| Modifier and Type | Method and Description |
|---|---|
(package private) void |
clearContent()
Removes all content of the script window, and add a new prompt.
|
(package private) void |
clearHighlight() |
(package private) void |
doHighlight(int from,
int to,
SimpleAttributeSet attr) |
(package private) String |
outputEcho(String text) |
protected void |
redo() |
(package private) void |
setEditorTextPane(ScriptEditor.EditorTextPane EditorTextPane) |
protected void |
undo() |
addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeElement, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChangedaddUndoableEditListener, createBranchElement, createLeafElement, createPosition, dump, fireChangedUpdate, fireInsertUpdate, fireRemoveUpdate, fireUndoableEditUpdate, getAsynchronousLoadPriority, getAttributeContext, getBidiRootElement, getContent, getCurrentWriter, getDocumentFilter, getDocumentListeners, getDocumentProperties, getEndPosition, getLength, getListeners, getProperty, getRootElements, getStartPosition, getText, getText, getUndoableEditListeners, insertString, postRemoveUpdate, putProperty, readLock, readUnlock, remove, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlockclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitaddUndoableEditListener, createPosition, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, insertString, putProperty, remove, removeUndoableEditListener, renderScriptEditor.EditorTextPane EditorTextPane
protected UndoManager undo
void setEditorTextPane(ScriptEditor.EditorTextPane EditorTextPane)
void doHighlight(int from,
int to,
SimpleAttributeSet attr)
void clearHighlight()
protected void undo()
protected void redo()
void clearContent()