class ScriptEditor.EditorDocument extends DefaultStyledDocument
Modifier and Type | Class and Description |
---|---|
protected class |
ScriptEditor.EditorDocument.MyUndoableEditListener |
DefaultStyledDocument.AttributeUndoableEdit, DefaultStyledDocument.ElementBuffer, DefaultStyledDocument.ElementSpec, DefaultStyledDocument.SectionElement
AbstractDocument.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_DEFAULT
BAD_LOCATION, BidiElementName, ContentElementName, ElementNameAttribute, listenerList, ParagraphElementName, SectionElementName
StreamDescriptionProperty, 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, styleChanged
addUndoableEditListener, 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, writeUnlock
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
addUndoableEditListener, createPosition, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, insertString, putProperty, remove, removeUndoableEditListener, render
ScriptEditor.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()