/usr/share/matita/gtkmathview.matita.conf.xml is in matita 0.5.8-3build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 | <?xml version="1.0" encoding="UTF-8"?>
<math-engine-configuration>
<section name="dictionary">
<key name="path">/usr/share/matita/dictionary-matita.xml</key>
</section>
<!--
<section name="gtk-backend">
<section name="pango-default-shaper">
<section name="variants">
<section name="italic">
<key name="style">normal</key>
</section>
</section>
</section>
</section>
-->
<!--
<section name="gtk-backend">
<section name="pango-default-shaper">
<section name="variants">
<section name="normal">
<key name="family">courier</key>
</section>
<section name="italic">
<key name="family">courier</key>
</section>
</section>
</section>
</section>
-->
</math-engine-configuration>
|