
<sect1 id="sect-gui-prefs">
    
  
    <title>The preferences box</title>

    <para>
      The preferences box contains application wide options.
    </para>

    &interface-prefs1;
    &interface-prefs2;
    &interface-prefs3;
    &interface-prefs4;


</sect1>



  <!-- end of button bar docs -->
 
