chickadee » extras » pretty-print-width

Identifier search

pretty-print-widthparameter: Specifies the maximal line-width for pretty printing, after which line wrap will occur.