matita/gtkmathview.matita.conf.xml.in

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <math-engine-configuration>
   3   <section name="dictionary">
   4     <key name="path">@RT_BASE_DIR@/dictionary-matita.xml</key>
   5   </section>
   6 <!--
   7   <section name="gtk-backend">
   8     <section name="pango-default-shaper">
   9       <section name="variants">
  10         <section name="italic">
  11           <key name="style">normal</key>
  12         </section>
  13       </section>
  14     </section>
  15   </section>
  16 -->
  17 <!--
  18   <section name="gtk-backend">
  19     <section name="pango-default-shaper">
  20       <section name="variants">
  21         <section name="normal">
  22           <key name="family">courier</key>
  23         </section>
  24         <section name="italic">
  25           <key name="family">courier</key>
  26         </section>
  27       </section>
  28     </section>
  29   </section>
  30 -->
  31 </math-engine-configuration>