X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fml_gtk_mathview.c;h=9a7f98fcf4e2a14a3d97473dc6a1276792399237;hb=caab26f85122e0040555139c48a9111a0b2b9fff;hp=1f6b19b9f47c31358f3ed8ca107bbb9617614143;hpb=ee18ff6db8d49339230b4212e145964b12c5a523;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c b/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
index 1f6b19b9f..9a7f98fcf 100644
--- a/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
+++ b/helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
@@ -100,7 +100,7 @@ ML_1 (gtk_math_view_unload, GtkMathView_val, Unit)
 ML_2 (gtk_math_view_select, GtkMathView_val, Element_val, Unit)
 ML_2 (gtk_math_view_unselect, GtkMathView_val, Element_val, Unit)
 ML_2 (gtk_math_view_is_selected, GtkMathView_val, Element_val, Val_bool)
-OML_3 (gtk_math_view_get_element_at, GtkMathView_val, Int_val, Int_val, Val_Element_ref)
+OML_3 (gtk_math_view_get_element_at, GtkMathView_val, Int_val, Int_val, Val_Element)
 ML_1 (gtk_math_view_get_width, GtkMathView_val, Val_int)
 ML_1 (gtk_math_view_get_height, GtkMathView_val, Val_int)
 ML_3 (gtk_math_view_set_top, GtkMathView_val, Int_val, Int_val, Unit)
@@ -109,6 +109,7 @@ ML_1 (gtk_math_view_get_hadjustment, GtkMathView_val, Val_GtkWidget)
 ML_1 (gtk_math_view_get_vadjustment, GtkMathView_val, Val_GtkWidget)
 ML_1 (gtk_math_view_get_buffer, GtkMathView_val, Val_GdkPixmap)
 ML_1 (gtk_math_view_get_frame, GtkMathView_val, Val_GtkWidget)
+ML_1 (gtk_math_view_get_drawing_area, GtkMathView_val, Val_GtkWidget)
 ML_2 (gtk_math_view_set_font_size, GtkMathView_val, Int_val, Unit)
 ML_1 (gtk_math_view_get_font_size, GtkMathView_val, Val_int)
 ML_2 (gtk_math_view_set_anti_aliasing, GtkMathView_val, Bool_val, Unit)
@@ -188,12 +189,7 @@ value ml_gtk_math_view_gdome_element_of_boxed_option (value arg1)
       nr = (GdomeElement*) Field(Field(arg1,0),1);
    }
 
-   if (nr != NULL) {
-     gdome_el_ref(nr, &exc);
-     assert(exc == 0);
-   }
-   
-   res = Val_Element(nr);
+   res = Val_Element_ref(nr);
    if (res==Val_int(0)) {
       assert(0);
    }
@@ -215,9 +211,7 @@ value ml_gtk_math_view_gdome_element_option_of_boxed_option (value arg1)
       GdomeException exc = 0;
       GdomeElement* elem = (GdomeElement*) Field(Field(arg1,0),1);
       assert(elem != NULL);
-      gdome_el_ref(elem, &exc);
-      assert(exc == 0);
-      res = Val_option_ptr(elem, Val_Element);
+      res = Val_option_ptr(elem, Val_Element_ref);
    }
 
    CAMLreturn(res);