Name

$pprint-right-margin

Usage

special-variable

Description

The column number of the current right margin used by pprint.