Uses of Class
editor.BatchDocument

Packages that use BatchDocument

Package	Description
editor

Uses of BatchDocument in editor

Fields in editor declared as BatchDocument

Modifier and Type	Field	Description
private BatchDocument	TextComponentWriter._document

Constructors in editor with parameters of type BatchDocument

Constructor	Description
TextComponentWriter(java.awt.Color color, BatchDocument document, java.io.PrintStream... echoWriters)