internal void Patch(int index, int length) { Markers[index] = new StyledToken(Markers[index].Position, length, Markers[index].StyleKey); }