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     <parameter name="highlighting-3d" value="false" />
  16     <parameter name="highlighting-2d" value="true" />
  17   </section>
  18   <section name="Menu" >
  19     <!-- Menu bar preferences -->
  20     <parameter name="item_size" value="25" />
  21     <parameter name="rows_number" value="3" />
  22   </section>
  23   <section name="Plugins" >
  24     <!-- Plugins preferences -->
  25     <parameter name="default_path" value="" />
  26   </section>
  27   <section name="ExternalBrowser" >
  28     <!-- External HELP browser settings -->
  29     <parameter name="winapplication"       value="C:\Program Files\Internet Explorer\iexplore.exe" />
  30     <parameter name="application"          value="/usr/bin/mozilla" />
  31   </section>
  32
  33 </document>