3 <section title='Display'>
5 <font name='default_font' label='Text font'>
6 Font used for normal text.
10 <frame label='Colours'>
11 <colour name='background' label='Background colour'/>
12 <colour name='foreground' label='Foreground colour'/>
16 <section title='Spacing'>
18 <frame label='Margins'>
20 <numentry name='layout_left_margin' label='' min='0' max='100' unit='pixels'/>
21 <label>for left margin, and for the right:</label>
22 <numentry name='layout_right_margin' label='' min='0' max='100' unit='pixels'/>
26 <frame label='Paragraphs'>
27 <numentry name='layout_before_para' label='Space above paragraphs'
28 min='0' max='10' unit='pixels'/>
29 <numentry name='layout_after_para' label='Space below paragraphs'
30 min='0' max='10' unit='pixels'/>
31 <numentry name='layout_inside_para' label='Line spacing within paragraphs'
32 min='0' max='10' unit='pixels'/>
33 <numentry name='layout_indent_para' label='New-paragraph indent'
34 min='-100' max='100' unit='pixels'/>
38 <section title='Editing'>
39 <frame label='Indentation'>
40 <toggle name='autoindent' label='Automatic indentation'>
41 When you press Return, the next line starts with the same amount of indentation as the previous line.
46 <section title='Changes'>
47 <frame label='Colours for Show Changes feature'>
48 <hbox label='Headers:'><colour name='headers_fg' label='Foreground'/><colour name='headers_bg' label='Background'/></hbox>
49 <hbox label='Normal:'><colour name='static_fg' label='Foreground'/><colour name='static_bg' label='Background'/></hbox>
50 <hbox label='Additions:'><colour name='additions_fg' label='Foreground'/><colour name='additions_bg' label='Background'/></hbox>
51 <hbox label='Deletions:'><colour name='deletions_fg' label='Foreground'/><colour name='deletions_bg' label='Background'/></hbox>