org.jmol.console
Class ScriptEditor.EditorDocument
java.lang.Object
javax.swing.text.AbstractDocument
javax.swing.text.DefaultStyledDocument
org.jmol.console.ScriptEditor.EditorDocument
- All Implemented Interfaces:
- Serializable, Document, StyledDocument
- Enclosing class:
- ScriptEditor
class ScriptEditor.EditorDocument
- extends DefaultStyledDocument
Methods inherited from class javax.swing.text.DefaultStyledDocument |
addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChanged |
Methods inherited from class javax.swing.text.AbstractDocument |
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 |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface javax.swing.text.Document |
addUndoableEditListener, createPosition, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, insertString, putProperty, remove, removeUndoableEditListener, render |
EditorTextPane
ScriptEditor.EditorTextPane EditorTextPane
undo
protected UndoManager undo
ScriptEditor.EditorDocument
ScriptEditor.EditorDocument()
setEditorTextPane
void setEditorTextPane(ScriptEditor.EditorTextPane EditorTextPane)
doHighlight
void doHighlight(int from,
int to,
SimpleAttributeSet attr)
clearHighlight
void clearHighlight()
undo
protected void undo()
redo
protected void redo()
clearContent
void clearContent()
- Removes all content of the script window, and add a new prompt.
outputEcho
String outputEcho(String text)