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
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. |
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
- Overrides:
read
in class DefaultEditorKit
IOException
BadLocationException