Anpassung der globalen Darstellung

In der Codeformatierung-Gruppe des Dokument→Ansicht-Menüs finden Sie verschiedene Möglichkeiten die Darstellung von Quellcode-Bäumen in Ihrem Dokument an Ihre Bedürfnisse azupassen. Wir empfehlen, daß Sie mit den verschiedenen Möglichkeiten an einem eigenen Dokument zu experimentieren, um die Vor- und Nachteile kennen zu lernen, nachdem Sie den Quellmodus mit Dokument→Ansicht→Quellcode eingestellt haben.

Zuerst einmal können Sie zwischen verschiedenen Basis-Stilen wählen: „Angular”, „Scheme”, „Functional” und „LaTeX”. Die verschiedenen Darstellungsweisen werden in Graphiken unten beispielhaft gezeigt:

Angular Scheme

<assign|quick-theorem|<macro|body|<document|<surround|<no-indent>Theorem. ||body>>>>

<assign|“quick-theorem”|<macro|“body”|<document|<surround|<no-indent>“Theorem. ”|“”|<arg|“body”>>>>>

Functional LaTeX

<assign|quick-theorem|<macro|body|<document|<surround|<no-indent>Theorem. ||body>>>>

<assign|quick-theorem|<macro|body|<document|<surround|<no-indent>Theorem. ||body>>>>

Abbildung 1. Verschiedene Basis-Stile zur Darstellung von Quellcode-Bäumen.

Möglicherweise wollen Sie, daß bestimmte Quellcode-Konstrukte wie z.B. concat und document in besonderer Weise dargestellt werden. Im Menü Dokument→Ansicht→Speziell können Sie festlegen, in welchem Ausmaß Sie solche speziell zulassen wollen:

Keine
Kein Quellcode-Konstrukt erhält eine Sonderbehandlung.
Formatierung
Nur die Formatierungskonstrukte concat and document werden ausgeführt.
Normal
Zusätzlich zu den oben genannten Formatierungskonstrukten werden werden einige andere Quellcode-Konstrukte wie compound, value und arg ausgeführt.
Maximal
Diese Option ist noch nicht implementiert. Sie soll den Anwender in die Lage versetzen, spezielle Darstellungen von Konstrukten wie plus zu programmieren.

Die verschiedenen Optionen sind unten dargestellt:

Keine
Formatierung

<assign|quick-theorem|<macro|body|<document|<surround|<concat|<no-indent>|Theorem. >||<arg|body>>>>>

<assign|quick-theorem|<macro|body|<document|<surround|<no-indent>Theorem. ||<arg|body>>>>>

Normal Maximal

<assign|quick-theorem|<macro|body|<document|<surround|<no-indent>Theorem. ||body>>>>

<assign|quick-theorem|<macro|body|<document|<surround|<no-indent>Theorem. ||body>>>>

Abbildung 2. Verschiedene Optionen zur Darstellung von Quellcodekonstrukten.

Darüber hinaus kann der Anwender noch kontrollieren, wie verdichtet die Darstellung von Quellcode-Konstrukten sein soll, wie stark also Konstrukte durch Zeilenumbrüche gegliedert werden sollen. Das Ausmaß kann im Menü Dokument→Ansicht→Verdichtungsgrad eingestellt werden:

Minimal
Alle Konstrukte werden durch Zeilenumbrüche gegliedert.
Nur Zeilenbefehle
Alle Konstrukte außer Zeilenbefehle werden durch Zeilenumbrüche gegliedert.
Normal
Alle Zeilen-Argumente am Anfang des Konstrukts werden verdichtet dargestellt. Wenn ein Block-Argument angetroffen wird, wird der Rest der Argumente durch Zeilenumbrüche gegliedert.
Zeilenargumente
Alle Zeilen-Argumente werden verdichtet dargestellt. Nur Block-Konstrukte werden durch Zeilenumbrüche gegliedert.
Maximal
Der ganze Quellcode wird verdichtet dargestellt.

Die Optionen Normal und Zeilenargumente unterscheiden sich nur unwesentlich. Beispiele für den Effekt der verschiedenen Optionen sind unten zu sehen:

Minimal Nur Zeilenbefehle

<\assign|

quick-theorem

|

<\macro|

body

|

<\surround|

<\concat|

<no-indent>

|

Theorem.

>

|

|

body

>

>

>

<assign|quick-theorem|<macro|body|<document|<surround|<no-indent>Theorem. ||body>>>>

Normal Maximal

<assign|quick-theorem|<macro|body|<document|<surround|<no-indent>Theorem. ||body>>>>

<assign|quick-theorem|<macro|body|<document|<surround|<no-indent>Theorem. ||body>>>>

Abbildung 3. Die verschiedenen Optionen für den Verdichtungsgrad.

Schließlich kann der Anwender im Menü Dokument→Ansicht→Befehlsabschluss die Darstellung der Stoptags von Quellcode-Befehlen einstellen, wenn sie mehrzeilig gegliedert dargestellt werden. Die folgenden Optionen sind verfügbar: minimal, Dicht, Gespreizt und Rekursiv. Diese Optionen werden unten in Beispielen gezeigt:

Minimal Dicht

<assign|quick-theorem|<macro|body|<document|<surround|<no-indent>Theorem. ||body>>>>

<assign|quick-theorem|<macro|body|<document|<surround|<no-indent>Theorem. ||body>>>>

Gespreizt Rekursiv

<assign|quick-theorem|<macro|body|<document|<surround|<no-indent>Theorem. ||body>>>>

<assign|quick-theorem|<macro|body|<document|<surround|<no-indent>Theorem. ||body>>>>

Abbildung 4. Die verschiedenen Optionen zur Darstellung von Stoptags.

© 1998–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".