(lines: List[Line])
return max(len(str(lines[-1].pre_index or 0)), len(str(lines[-1].post_index or 0)))
Return the number of digit of the maximum line number.
Return the number of digit of the maximum line number.
Return the number of digit of the maximum line number .
def get_padding(lines: List[Line]) -> int:
    """Return the number of digit of the maximum line number."""
    # value can be None
    return max(len(str(lines[-1].pre_index or 0)), len(str(lines[-1].post_index or 0)))
def get_padding ( lines : List [ Line ] ) -> int : # value can be None return max ( len ( str ( lines [ - 1 ] . pre_index or 0 ) ) , len ( str ( lines [ - 1 ] . post_index or 0 ) ) )