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