Seitenlayout |
In diesem Abschnitt befassen wir uns damit, wie TeXmacs Seiten mit formatiertem Text füllt. Der Benutzer kann nicht nur festlegen, wie der Text gedruckt werden soll. Er kann auch bestimmen, wie der Text auf dem Bildschirm dargestellt werden soll. Man sollte sich darüber im Klaren sein, dass die Anzahl der Dokument-Variablen redundant ist, da einige sich aus anderen errechnen lassen. So wird beispielsweise die Absatzbreite gemäß Voreinstellung aus der Papiergröße und der Breite des linken und rechten Randes berechnet.
Gibt die Papiergröße beim Druck an. Im Menü
Die Seitenausrichtung kann entweder portrait (Längsformat) oder landscape (Querformat) sein.
Die aktuelle Seitennummer. Diese Variable sollte mit großer
Vorsicht behandelt werden, da sie zur Entwurfszeit noch nicht
bekannt ist. Für eine zuverlässige Ermittlung der
aktuellen Seitennummer sollte man die Grundformen
Diese Variable enthält in Wirklichkeit ein Makro, das die Seitennummer ausgibt. Als Vorgabe gibt es den Inhalt von page-nr aus. Dieses Makro nimmt keine Argumente an. Um ein Dokument zu simulieren, dessen Seitenzahl mit 123 beginnt, kann man das Makro z.B. folgendermaßen umdefinieren:
<assign|page-the-page|<macro|<plus|page-nr|122>>>
Dieser Parameter wählt den Seitenumbruch-Algorithmus. Die Vorgabe ist „optimal“. Dieser Algorithmus berücksichtigt die globalen gesetzten Dokument-Optionen und versucht schlechte Seitenumbrüche zu vermeiden. Die Alternative ist „sloppy“, ein Algorithmus, der schnell ist aber schlechte Seitenumbrüche mit erhöhter Wahrscheinlichkeit liefert. Ein weiterer Algorithmus „medium“ entspricht dem „optimal“-Algorithmus, außer für zwei-spaltigen Text.
Dieser Parameter spezifiziert wie stark dehnbarer Leerraum gedehnt oder komprimiert werden darf, um Seiten zu füllen, die an sich zu kurz oder zu lang sind. Eine Dehnungsflexibilität von 1.0 erlaubt Änderungen bis zu den Minimal- bzw. Maximalwerten. Eine Dehnungsflexibilität von 0.0 verhindert die Anpassung. Andere Werte der page-flexibility verhalten sich linear.
In Fällen, in denen es schwer ist, gute Seitenumbrüche zu finden, spezifiziert dieser Parameter eine maximal zulässige Verkürzung der Seitenlänge.
In Fällen, in denen es schwer ist, gute Seitenumbrüche zu finden, spezifiziert dieser Parameter eine maximal zulässige Vergrößerung der Seitenlänge.
Diese Variable, die im Menü
Beachten Sie auch, dass das Setzen dieser Option allein noch
nicht gewährleistet, dass alles auf dem Bildschirm so
erscheint wie auf dem Papier. Um sicherzustellen, dass der
Bildschirm exakt mit dem Druckbild übereinstimmt,
müssen Sie noch folgende Optionen setzen:
Im „automatic“ Modus ist dies die Breite des darstellenden Fensters.
Im „automatic“ Modus ist dies die Höhe des darstellenden Fensters.
Dieses Flag zeigt an, ob vom Benutzer für die Bildschirmdarstellung Ränder speziell festgelegt wurden oder nicht, ob also die Darstellung dem Druckbild entspricht.
page-screen-left≔5mm
page-screen-right≔5mm
page-screen-top≔15mm
Wenn page-screen-margin auf „true“ gesetzt ist, dann bestimmen diese Variablen die Breiten der Fensterränder.
Dieses Flag bestimmt, ob Kopf- und Fußzeilen auf dem Bildschirm dargestellt werden sollen. Wenn es auf „true“ gesetzt ist, müssen die Kopf- und Fußzeilen nicht immer korrekt dargestellt werden. Wenn Sie vermuten, dass die Darstellung falsch sein könnte, können Sie die Bildschirm-anzeige erneuern, indem Sie den Text im Fenster verschieben. Es sollten dann korrekte Werte erscheinen.
Die Parameter, die die Ränder von Druckseiten bestimmen, sind in der Abbildung ? schematisch dargestellt. Man kann die Breite eines Absatzes entweder durch den linken und den rechten Rand bestimmen oder die Breite der Ränder durch die Absatzbreite. Linker und rechter Seitenrand können davon abhängen, ob die Seitenzahl gerade oder ungerade ist.
Wenn dieses Flag auf „false“ gesetzt ist, wird aus der linken und rechten Seitenrand sowie der Papiergröße die Absatzbreite par-width berechnet. Wenn dieses Flag auf „true“ gesetzt ist, werden die linken und rechten Ränder aus der Papiergröße und der Absatzbreite berechnet, indem zusätzlich die Randverschiebungs-Parameter page-odd-shift und page-even-shift berücksichtigt werden, um unterschiedliche Ränder für gerade und ungerade Seiten zu erzeugen.
page-width≔auto
Als Vorgabe werden Breite und Höhe von Seiten automatisch mit Hilfe der Variablen page-type bestimmt. Wenn diese auf „user“ gesetzt ist, dann kann man die Seitengröße manuell mit den Variablen page-width und page-height festlegen.
page-odd≔auto
Wenn page-width-margin auf „false“ gesetzt ist, dann spezifizieren page-odd und page-even die linken Ränder von ungeraden bzw. geraden Seiten. Wenn page-width-margin „true“ ist, dann werden diese Werte aus der Papiergröße, Absatzbreite, page-odd-shift und page-even-shift berechnet. Wenn page-odd und page-even auf „auto“ gesetzt sind, dann wird ein passender linker Rand auf Grund der Variable page-type erzeugt.
Wenn page-width-margin auf „false“ gesetzt ist, dann spezifiziert die Variable page-right den rechten Rand von ungeraden Seiten. Der rechte Rand ist durch die folgende Formel gegeben:
Wenn page-width-margin „true“ ist oder wenn page-right auf „auto“ gesetzt ist, dann wir der rechte Rand analog zum linken berechnet.
page-odd-shift≔0mm
wenn page-width-margin „true“ ist, dann werden die linken Ränder für ungerade und gerade Seiten aus der Papiergröße, der Absatzbreite und den Randverschiebungen nach folgenden Formeln berechnet:
page-even | = |
|
||
page-odd | = |
|
Die rechte Rand wird so gewählt, dass die Absatzbreite und die linken und rechten Ränder zusammen die Seitenbreite ergeben.
page-odd-header≔
page-odd-footer≔
page-even-header≔
Diese Variablen enthalten die Texte der Kopf- und Fußzeilen für gerade und ungerade Seiten.
page-head-sep≔8mm
Diese Parameter bestimmen den Abstand zwischen dem eigentlichen Text und den Kopf- und Fußzeilen. Sie entsprechen den Größen h und f des rechten Teilbildes von Abbildung ?.
Dies ist der Abstand zwischen dem eigentlichen Text und den Fußnoten also d in Abbildung ?.
Die Länge des Fußnotentrennstrichs.
Der Abstand zwischen Text und beweglichen Objekten.
Der Abstand von Randnotizen und dem eigentlichen Text (noch nicht implementiert!).
Die Breite von Randnotizen (noch nicht implementiert!).