branch for universe

[helm.git] / matita / gtkmathview.matita.conf.xml.in

diff --git a/matita/gtkmathview.matita.conf.xml.in b/matita/gtkmathview.matita.conf.xml.in
new file mode 100644 (file)
index 0000000..5935eaa
--- /dev/null
+++ b/matita/gtkmathview.matita.conf.xml.in
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<math-engine-configuration>
+  <section name="dictionary">
+    <key name="path">@RT_BASE_DIR@/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>