User Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cl:variables:star-print-right-margin-star [2017/05/01 21:00] (current)
Line 1: Line 1:
 +====== Variable *PRINT-RIGHT-MARGIN* ======
 +
 +====Value Type====
 +a non-negative //​[[CL:​Glossary:​integer]]//,​ or **[[CL:​Constant Variables:​nil]]**.
 +
 +====Initial Value====
 +**[[CL:​Constant Variables:​nil]]**.
 +
 +====Description====
 +If it is //​[[CL:​Glossary:​non-nil]]//,​ it specifies the right margin (as //​[[CL:​Glossary:​integer]]//​ number of //​[[CL:​Glossary:​em|ems]]//​) to use when the //​[[CL:​Glossary:​pretty printer]]// is making layout decisions.
 +
 +If it is **[[CL:​Constant Variables:​nil]]**,​ the right margin is taken to be the maximum line length such that output can be displayed without wraparound or truncation. If this cannot be determined, an //​[[CL:​Glossary:​implementation-dependent]]//​ value is used.
 +
 +====Examples====
 +None.
 +
 +====See Also====
 +None.
 +
 +====Notes====
 +This measure is in units of //​[[CL:​Glossary:​em|ems]]//​ in order to be compatible with //​[[CL:​Glossary:​implementation-defined]]//​ variable-width fonts while still not requiring the language to provide support for fonts.
 +
 +\issue{PRETTY-PRINT-INTERFACE}