|
RawEditorKit |
|
1 /* 2 * RawEditorKit.java 3 * 4 * Copyright (c) 1998-2001, The University of Sheffield. 5 * 6 * This file is part of GATE (see http://gate.ac.uk/), and is free 7 * software, licenced under the GNU Library General Public License, 8 * Version 2, June 1991 (in the distribution as file licence.html, 9 * and also available at http://gate.ac.uk/gate/licence.html). 10 * 11 * Valentin Tablan, Nov/1999 12 * 13 * $Id: RawEditorKit.java,v 1.8 2000/11/08 16:35:11 hamish Exp $ 14 */ 15 16 package gate.util; 17 18 import javax.swing.text.*; 19 import java.io.Reader; 20 import java.io.IOException; 21 22 /** This class provides an editor kit that does not change \n\r to \n but 23 * instead it leaves the original text as is. 24 * Needed for GUI components 25 */ 26 public class RawEditorKit extends StyledEditorKit { 27 28 /** Debug flag */ 29 private static final boolean DEBUG = false; 30 31 /** 32 * Inserts content from the given stream, which will be 33 * treated as plain text. 34 * This insertion is done without checking \r or \r \n sequence. 35 * It takes the text from the Reader and place it into Document at position 36 * pos 37 */ 38 public void read(Reader in, Document doc, int pos) 39 throws IOException, BadLocationException { 40 41 char[] buff = new char[65536]; 42 int charsRead = 0; 43 44 while ((charsRead = in.read(buff, 0, buff.length)) != -1) { 45 doc.insertString(pos, new String(buff, 0, charsRead), null); 46 pos += charsRead; 47 }// while 48 49 }// read 50 51 }// class RawEditorKit 52
|
RawEditorKit |
|