public class DocumentUtilities extends Object
Modifier and Type | Method and Description |
---|---|
static void |
copyText(Document srcDoc,
int srcStartOffset,
int srcEndOffset,
char[] dst,
int dstOffset)
Copy portion of the document into target character array.
|
static int |
getGapStart(Document doc) |
public static int getGapStart(Document doc)
GapStart
interface.public static void copyText(Document srcDoc, int srcStartOffset, int srcEndOffset, char[] dst, int dstOffset) throws BadLocationException
srcDoc
- document from which to copy.srcStartOffset
- offset of the first character to copy.srcEndOffset
- offset that follows the last character to copy.dst
- destination character array into which the data will be copied.dstOffset
- offset in the destination array at which the putting
of the characters starts.BadLocationException