This is an old revision of the document!
getpenwidth getpenwidth()
returns positive_integer_value
Returns the width of the current drawing pen. The default width is 1 pixel wide.
Arc, Chord, Circle, GetPenWidth, Line, PenWidth, Pie, Plot, Poly, Rect, Stamp