Searched refs:LineNoDisplayWidth (Results 1 – 1 of 1) sorted by relevance
1283 unsigned LineNoDisplayWidth = getNumDisplayWidth(LineNo); in emitSnippet() local1284 OS.indent(MaxLineNoDisplayWidth - LineNoDisplayWidth + 1) in emitSnippet()