private void ReallyAddText(char[] buffer, int index, int count)
{
text_builder.Append (buffer, index, count);
// Store text in blocks of whatever Pull() specified or DEFAULT_CHARS_TO_PULL o/w
if (text_builder.Length >= (chars_to_pull > 0 ? chars_to_pull : DEFAULT_CHARS_TO_PULL)) {
// FIXME: If text-cache needs to be cleaned up (i.e. whitespaces merged and blank
// lines removed, then process text_builder here before adding it to textPool
// Also, add to snippet-writer from here
textPool.Add (text_builder.ToString ());
text_builder.Length = 0;
}
}