|
Editing source trees |
|
The different rendering styles for source trees are described in more
detail in the section about the global presentation of
source trees. The corresponding environment variables are briefly
described here.
src-style≔angular
(rendering style for source tags)
The principal rendering style for source trees as specified in
Document→View→Style. Possible values are angular,
scheme, functional and latex.
src-special≔normal
(how to render special tags)
How to render special tags like concat,
document, compound, etc., as specified in
Document→View→Special. Possible values are raw,
format, normal and maximal.
src-compact≔normal
(compactication level)
How compact should tags be rendered, as specified in Document→View→Compactification. Possible values are none, inline,
normal, inline tags and all.
src-close≔compact
(closing style for long tags)
The rendering style of closing tags as specified in Document→View→Closing style.
Possible values are repeat, long,
compact and minimal.
© 2004 Joris van der Hoeven
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.1 or
any later version published by the Free Software Foundation; with no
Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
Texts. A copy of the license is included in the section entitled
"GNU Free Documentation License".