src/XGUI/SHAPER.xml

   1 <document>
   2   <section name="language">
   3     <!-- Language settings (resource manager)-->
   4     <parameter name="language"    value="en"/>
   5     <parameter name="locale"      value="true"/>
   6   </section>
   7   <section name="Viewer" >
   8     <!-- Viewer preferences -->
   9     <parameter name="background" value="bt=2;fn=;tm=0;ts=false;c1=#cddbff;c2=#698fff;gt=1;gr=" />
  10     <parameter name="face-selection" value="true" />
  11     <parameter name="edge-selection" value="true" />
  12     <parameter name="vertex-selection" value="true" />
  13     <parameter name="point-selection-sensitivity" value="12" />
  14     <parameter name="edge-selection-sensitivity" value="2" />
  15   </section>
  16   <section name="Menu" >
  17     <!-- Menu bar preferences -->
  18     <parameter name="item_size" value="25" />
  19     <parameter name="rows_number" value="3" />
  20   </section>
  21   <section name="Plugins" >
  22     <!-- Plugins preferences -->
  23     <parameter name="default_path" value="" />
  24   </section>
  25   <section name="ExternalBrowser" >
  26     <!-- External HELP browser settings -->
  27     <parameter name="winapplication"       value="C:\Program Files\Internet Explorer\iexplore.exe" />
  28     <parameter name="application"          value="/usr/bin/mozilla" />
  29   </section>
  30
  31 </document>