org.jmol.console
Class ScriptEditor.EditorDocument

java.lang.Object
  extended by javax.swing.text.AbstractDocument
      extended by javax.swing.text.DefaultStyledDocument
          extended by org.jmol.console.ScriptEditor.EditorDocument
All Implemented Interfaces:
Serializable, Document, StyledDocument
Enclosing class:
ScriptEditor

 class ScriptEditor.EditorDocument
extends DefaultStyledDocument


Nested Class Summary
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
(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
ScriptEditor.EditorDocument()
           
 
Method Summary
(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, 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

ScriptEditor.EditorDocument

ScriptEditor.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)