X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.1%2Fml_gtk_mathview.c;h=3c86f0057b806f22b2ac12883a2db9fdf37c10fb;hb=515c1195a3b3ff86bf002091b4535bc812aa40ea;hp=63ea13bf17a26735d22f56de79706fd3e26e513e;hpb=378d6138523fcbfdb2d6b3ef0acad648ca17ff26;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/ml_gtk_mathview.c b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/ml_gtk_mathview.c
index 63ea13bf1..3c86f0057 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/ml_gtk_mathview.c
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/ml_gtk_mathview.c
@@ -1,3 +1,4 @@
+#include <assert.h>
 #include <string.h>
 #include <assert.h>
 #include <gtk/gtk.h>
@@ -27,6 +28,28 @@
 #define FontManagerId_val(val) Int_val(val)
 #define Val_FontManagerId(val) Val_int(val)
 
+FontManagerId
+font_manager_id_of_value(value v)
+{
+  if (v == hash_variant("font_manager_gtk")) return FONT_MANAGER_GTK;
+  else if (v == hash_variant("font_manager_t1")) return FONT_MANAGER_T1;
+  else assert(0);
+}
+
+value
+value_of_font_manager_id(FontManagerId id)
+{
+  switch (id) {
+  case FONT_MANAGER_GTK:
+    return hash_variant("font_manager_gtk");
+  case FONT_MANAGER_T1:
+    return hash_variant("font_manager_t1");
+  default:
+    assert(0);
+    break;
+  }
+}
+
 ML_2 (gtk_math_view_new,GtkAdjustment_val, GtkAdjustment_val, Val_GtkWidget_sink)
 ML_2 (gtk_math_view_load, GtkMathView_val, String_val, Val_bool)
 ML_1 (gtk_math_view_unload, GtkMathView_val, Unit)
@@ -49,8 +72,8 @@ ML_2 (gtk_math_view_set_kerning, GtkMathView_val, Bool_val, Unit)
 ML_1 (gtk_math_view_get_kerning, GtkMathView_val, Val_bool)
 ML_2 (gtk_math_view_set_log_verbosity, GtkMathView_val, Int_val, Unit)
 ML_1 (gtk_math_view_get_log_verbosity, GtkMathView_val, Val_int)
-ML_2 (gtk_math_view_set_font_manager_type, GtkMathView_val, FontManagerId_val, Unit)
-ML_1 (gtk_math_view_get_font_manager_type, GtkMathView_val, Val_FontManagerId)
+ML_2 (gtk_math_view_set_font_manager_type, GtkMathView_val, font_manager_id_of_value, Unit)
+ML_1 (gtk_math_view_get_font_manager_type, GtkMathView_val, value_of_font_manager_id)
 
 value
 ml_gtk_math_view_export_to_postscript_native(value arg1,