|
|
|
|
|
|
|
|
|
|
int currentChunk = 0; |
|
|
|
|
|
|
|
bool noWrap(int index) { |
|
|
|
bool noWrap(int index2) { |
|
|
|
if (index < wrapRanges[currentChunk + 1]) { |
|
|
|
if (index2 < wrapRanges[currentChunk + 1]) { |
|
|
|
break; |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
return index < wrapRanges[currentChunk]; |
|
|
|
return index2 < wrapRanges[currentChunk]; |
|
|
|
} |
|
|
|
|
|
|
|
while (true) { |
|
|
|
|
|
|
const int maxLines = 25; |
|
|
|
int lines = 0; |
|
|
|
|
|
|
|
void visitor(DiagnosticsNode node) { |
|
|
|
foreach (DiagnosticsNode child in node.getChildren()) { |
|
|
|
void visitor(DiagnosticsNode node2) { |
|
|
|
foreach (DiagnosticsNode child in node2.getChildren()) { |
|
|
|
if (lines < maxLines) { |
|
|
|
depth += 1; |
|
|
|
descendants.Add($"{prefixOtherLines}{new string(' ', depth)}{child}"); |
|
|
|