The width used for prettyprinting objects when the width is not determined by the window width; i.e., when editor parameter Word Wrap is off or when objects are saved to files in text format.