1[def "[cmd chop] [opt [arg length]]"]
2
3Specifies the length of the [cmd line] element to remove from the
4beginning and/or end.
5
6Defaults to nothing.
7
8If specified once the chopping applies to both beginning and end of
9the line.
10
11If specified twice or more the last two specifications are used, and
12applied to beginning and end of the line, in this order.
13
14Whenever the attribute is specified without an explicit length, the
15system falls back to the value taken from the language variable
16[var circleradius], which itself defaults to the pixel equivalent of
17[const {1 cm}]
18