private final void updateBuffer(int offset){
  fBufferOffset=offset;
  if (fBufferOffset + fBuffer.length > fRangeOffset + fRangeLength)   fBufferLength=fRangeLength - (fBufferOffset - fRangeOffset);
 else   fBufferLength=fBuffer.length;
  try {
    final String content=fDocument.get(fBufferOffset,fBufferLength);
    content.getChars(0,fBufferLength,fBuffer,0);
  }
 catch (  BadLocationException e) {
  }
}

private final void updateBuffer ( int offset ) { fBufferOffset = offset ; if ( fBufferOffset + fBuffer . length > fRangeOffset + fRangeLength ) fBufferLength = fRangeLength - ( fBufferOffset - fRangeOffset ) ; else fBufferLength = fBuffer . length ; try { final String content = fDocument . get ( fBufferOffset , fBufferLength ) ; content . getChars ( 0 , fBufferLength , fBuffer , 0 ) ; } catch ( BadLocationException e ) { } }
fills the buffer with the contents of the document starting at the given offset .
