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
  15     <frame label='Word Wrap'>
  16       <toggle name='wordwrap' label='Wrap long lines of text'>
  17           Control whether lines wider than the window are wrapped to multiple display lines.
  18       </toggle>
  19     </frame>
  20   </section>
  21
  22   <section title='Spacing'>
  23
  24     <frame label='Margins'>
  25       <hbox>
  26         <numentry name='layout_left_margin' label='' min='0' max='100' unit='pixels'/>
  27         <label>for left margin, and for the right:</label>
  28         <numentry name='layout_right_margin' label='' min='0' max='100' unit='pixels'/>
  29       </hbox>
  30     </frame>
  31
  32     <frame label='Paragraphs'>
  33       <numentry name='layout_before_para' label='Space above paragraphs'
  34                 min='0' max='10' unit='pixels'/>
  35       <numentry name='layout_after_para' label='Space below paragraphs'
  36                 min='0' max='10' unit='pixels'/>
  37       <numentry name='layout_inside_para' label='Line spacing within paragraphs'
  38                 min='0' max='10' unit='pixels'/>
  39       <numentry name='layout_indent_para' label='New-paragraph indent'
  40                 min='-100' max='100' unit='pixels'/>
  41     </frame>
  42   </section>
  43
  44   <section title='Editing'>
  45     <frame label='Indentation'>
  46       <toggle name='autoindent' label='Automatic indentation'>
  47           When you press Return, the next line starts with the same amount of indentation as the previous line.
  48       </toggle>
  49     </frame>
  50   </section>
  51
  52   <section title='Changes'>
  53     <frame label='Colours for Show Changes feature'>
  54       <hbox><colour name='headers_fg' label='Foreground'/><colour name='headers_bg' label='Background'/><label>(headers)</label></hbox>
  55       <hbox><colour name='static_fg' label='Foreground'/><colour name='static_bg' label='Background'/><label>(no change)</label></hbox>
  56       <hbox><colour name='additions_fg' label='Foreground'/><colour name='additions_bg' label='Background'/><label>(additions)</label></hbox>
  57       <hbox><colour name='deletions_fg' label='Foreground'/><colour name='deletions_bg' label='Background'/><label>(deletions)</label></hbox>
  58     </frame>
  59   </section>
  60 </options>