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.SectionElement
javax.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, 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
ScriptEditor.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)