Topic : Die Anleitung zu JEDI Author : Ralf Zimmermann Version : 0.40 (1. Mai 1998) Subject : Dokumentation/Sonstiges Nodes : 36 Index Size : 1016 HCP-Version : 3 Compiled on : Atari @charset : atarist @lang : @default : Titel @help : @options : -i +z -t3 -d7 @width : 75 View Ref-File9.10 Optionen/Schriftauswahl JEDI Im Dialog 'Optionen/Allgemein' können Sie auswählen, ob Sie den eventuell installierten System-FontSelektor benutzen wollen, oder den JEDI-eigenen FontSelektor. Der JEDI-eigene FontSelektor: Wählen Sie eine Schrift in der linken Listbox aus. In der rechten Listbox erscheinen die zugehörigen Punktgrößen zur selektierten Schrift. In der rechten Listbox wählen Sie eine Punktgröße. Ein Doppelklick in eine der Listboxen verläßt die Schriftauswahl mit der angeklickten Auswahl. OK übernimmt die gemachten Einstellungen. Abbruch verläßt den Dialog ohne Änderung. Help zeigt diese Hilfe.