Class ScriptEditor.EditorDocument

All Implemented Interfaces:
Serializable, Document, StyledDocument
Enclosing class:
ScriptEditor

class ScriptEditor.EditorDocument extends DefaultStyledDocument
  • Field Details

  • Constructor Details

    • EditorDocument

      EditorDocument()
  • Method Details

    • 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)