class ScriptEditor.EditorDocument
extends javax.swing.text.DefaultStyledDocument
| Modifier and Type | Class and Description |
|---|---|
protected class |
ScriptEditor.EditorDocument.MyUndoableEditListener |
javax.swing.text.DefaultStyledDocument.AttributeUndoableEdit, javax.swing.text.DefaultStyledDocument.ElementBuffer, javax.swing.text.DefaultStyledDocument.ElementSpec, javax.swing.text.DefaultStyledDocument.SectionElementjavax.swing.text.AbstractDocument.AbstractElement, javax.swing.text.AbstractDocument.AttributeContext, javax.swing.text.AbstractDocument.BranchElement, javax.swing.text.AbstractDocument.Content, javax.swing.text.AbstractDocument.DefaultDocumentEvent, javax.swing.text.AbstractDocument.ElementEdit, javax.swing.text.AbstractDocument.LeafElement| Modifier and Type | Field and Description |
|---|---|
(package private) ScriptEditor.EditorTextPane |
EditorTextPane |
protected javax.swing.undo.UndoManager |
undo |
| 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,
javax.swing.text.SimpleAttributeSet attr) |
(package private) java.lang.String |
outputEcho(java.lang.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, writeUnlockScriptEditor.EditorTextPane EditorTextPane
protected javax.swing.undo.UndoManager undo
void setEditorTextPane(ScriptEditor.EditorTextPane EditorTextPane)
void doHighlight(int from,
int to,
javax.swing.text.SimpleAttributeSet attr)
void clearHighlight()
protected void undo()
protected void redo()
void clearContent()
java.lang.String outputEcho(java.lang.String text)