Options.xml

   1 <?xml version='1.0'?>
   2 <options>
   3   <section title='Display'>
   4     <frame label='Fonts'>
   5       <font name='default_font' label='Text font'>
   6         Font used for normal text.
   7       </font>
   8     </frame>
   9
  10     <frame label='Colours'>
  11       <colour name='background' label='Background colour'/>
  12       <colour name='foreground' label='Foreground colour'/>
  13     </frame>
  14   </section>
  15
  16   <section title='Spacing'>
  17
  18     <frame label='Margins'>
  19       <hbox>
  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'/>
  23       </hbox>
  24     </frame>
  25
  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'/>
  35     </frame>
  36   </section>
  37
  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.
  42       </toggle>
  43     </frame>
  44   </section>
  45 </options>