Package 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

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	ScriptEditor.EditorDocument.MyUndoableEditListener

Nested classes/interfaces inherited from class javax.swing.text.DefaultStyledDocument

DefaultStyledDocument.AttributeUndoableEdit, DefaultStyledDocument.ElementBuffer, DefaultStyledDocument.ElementSpec, DefaultStyledDocument.SectionElement

Nested classes/interfaces inherited from class javax.swing.text.AbstractDocument

AbstractDocument.AbstractElement, AbstractDocument.AttributeContext, AbstractDocument.BranchElement, AbstractDocument.Content, AbstractDocument.DefaultDocumentEvent, AbstractDocument.ElementEdit, AbstractDocument.LeafElement

Field Summary

Fields

Modifier and Type	Field	Description
(package private) ScriptEditor.EditorTextPane	EditorTextPane
protected UndoManager	undo

Fields inherited from class javax.swing.text.DefaultStyledDocument

buffer, BUFFER_SIZE_DEFAULT

Fields inherited from class javax.swing.text.AbstractDocument

BAD_LOCATION, BidiElementName, ContentElementName, ElementNameAttribute, listenerList, ParagraphElementName, SectionElementName

Fields inherited from interface javax.swing.text.Document

StreamDescriptionProperty, TitleProperty

Constructor Summary

Constructors

Constructor	Description
EditorDocument()

Method Summary

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, SimpleAttributeSet attr)
(package private) String	outputEcho(String text)
protected void	redo()
(package private) void	setEditorTextPane(ScriptEditor.EditorTextPane EditorTextPane)
protected void	undo()

Methods inherited from class javax.swing.text.DefaultStyledDocument

addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeElement, 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

Field Detail

EditorTextPane

ScriptEditor.EditorTextPane EditorTextPane

undo

protected UndoManager undo

Constructor Detail

EditorDocument

EditorDocument()

Method Detail

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)