gate.util
Class RawEditorKit
java.lang.Object
javax.swing.text.EditorKit
javax.swing.text.DefaultEditorKit
javax.swing.text.StyledEditorKit
gate.util.RawEditorKit
- All Implemented Interfaces:
- Cloneable, Serializable
- public class RawEditorKit
- extends StyledEditorKit
This class provides an editor kit that does not change \n\r to \n but
instead it leaves the original text as is.
Needed for GUI components
- See Also:
- Serialized Form
Field Summary |
private static boolean |
DEBUG
Debug flag |
Fields inherited from class javax.swing.text.DefaultEditorKit |
backwardAction, beepAction, beginAction, beginLineAction, beginParagraphAction, beginWordAction, copyAction, cutAction, defaultKeyTypedAction, deleteNextCharAction, deletePrevCharAction, downAction, endAction, endLineAction, EndOfLineStringProperty, endParagraphAction, endWordAction, forwardAction, insertBreakAction, insertContentAction, insertTabAction, nextWordAction, pageDownAction, pageUpAction, pasteAction, previousWordAction, readOnlyAction, selectAllAction, selectionBackwardAction, selectionBeginAction, selectionBeginLineAction, selectionBeginParagraphAction, selectionBeginWordAction, selectionDownAction, selectionEndAction, selectionEndLineAction, selectionEndParagraphAction, selectionEndWordAction, selectionForwardAction, selectionNextWordAction, selectionPreviousWordAction, selectionUpAction, selectLineAction, selectParagraphAction, selectWordAction, upAction, writableAction |
Method Summary |
void |
read(Reader in,
Document doc,
int pos)
Inserts content from the given stream, which will be
treated as plain text. |
DEBUG
private static final boolean DEBUG
- Debug flag
- See Also:
- Constant Field Values
RawEditorKit
public RawEditorKit()
read
public void read(Reader in,
Document doc,
int pos)
throws IOException,
BadLocationException
- Inserts content from the given stream, which will be
treated as plain text.
This insertion is done without checking \r or \r \n sequence.
It takes the text from the Reader and place it into Document at position
pos
- Throws:
IOException
BadLocationException