2 <section name="language">
3 <!-- Language settings (resource manager)-->
4 <parameter name="language" value="en"/>
5 <parameter name="locale" value="true"/>
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" />
16 <section name="Menu" >
17 <!-- Menu bar preferences -->
18 <parameter name="item_size" value="25" />
19 <parameter name="rows_number" value="3" />
21 <section name="Plugins" >
22 <!-- Plugins preferences -->
23 <parameter name="default_path" value="" />
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" />