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-styleangular
(rendering style for source tags)

The principal rendering style for source trees as specified in DocumentViewStyle. Possible values are angular, scheme, functional and latex.

src-specialnormal
(how to render special tags)

How to render special tags like concat, document, compound, etc., as specified in DocumentViewSpecial. Possible values are raw, format, normal and maximal.

src-compactnormal
(compactication level)

How compact should tags be rendered, as specified in DocumentViewCompactification. Possible values are none, inline, normal, inline tags and all.

src-closecompact
(closing style for long tags)

The rendering style of closing tags as specified in DocumentViewClosing style. Possible values are repeat, long, compact and minimal.

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".