Searched defs:lineno_width (Results 1 – 2 of 2) sorted by relevance
48 let lineno_width = self.body.iter().fold(0, |max, line| match line { in fmt() localVariable58 let lineno_width = if lineno_width == 0 { in fmt() localVariable
425 def __init__(self, file=None, lineno_width=0, offset_width=0, label_width=0, argument