]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/cadet
Adding settings to the widget
[helm.git] / helm / interface / cadet
index 0c3768055f1ddc4b3753a1032b61085cc4ad0e47..aedf5b7007ae6b1bffb75035443cd67fe0665f95 100755 (executable)
@@ -15,3 +15,7 @@ export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
 export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot
 
 export T1LIB_CONFIG=./t1.config
+
+# Stix font
+xset fp
+xset fp+ /home/cadet/sacerdot/fonts/