class ScriptEditor.EditorDocument
extends javax.swing.text.DefaultStyledDocument
Modifier and Type | Class | Description |
---|---|---|
protected class |
ScriptEditor.EditorDocument.MyUndoableEditListener |
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
javax.swing.text.DefaultStyledDocument.AttributeUndoableEdit, javax.swing.text.DefaultStyledDocument.ElementBuffer, javax.swing.text.DefaultStyledDocument.ElementSpec, javax.swing.text.DefaultStyledDocument.SectionElement
Modifier and Type | Field | Description |
---|---|---|
(package private) ScriptEditor.EditorTextPane |
EditorTextPane |
|
protected javax.swing.undo.UndoManager |
undo |
Constructor | Description |
---|---|
EditorDocument() |
Modifier and Type | Method | 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() |
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
addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeElement, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChanged
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)