Searched refs:halfIndent (Results 1 – 3 of 3) sorted by relevance
332 const halfIndent = " "; constant438 output += halfIndent + formatLocation(file, start!, host); // TODO: GH#18217
120919 var halfIndent = " ";121017 output += halfIndent + formatLocation(file, start, host); // TODO: GH#18217
100290 var halfIndent = " ";100379 output += halfIndent + formatLocation(file, start, host);