color(colBegin, colLen, false, null);
}
for (int i = 0; i < _oldErrorInfos.size(); i++)
{
ErrorInfo errorInfo = _oldErrorInfos.elementAt(i);
int colBegin = Math.max(errorInfo.beginPos - heuristicDist, 0);
int colLen = Math.min(errorInfo.endPos - errorInfo.beginPos + 2*heuristicDist, getDocument().getLength() - colBegin);
color(colBegin, colLen, false, null);
}
}