]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
* restored binding with gtkmathview 0.4.0
[helm.git] / helm / DEVEL / lablgtkmathview / ml_gtk_mathview.c
index df4719b61736dfaf4c4c72c2f6b142eba70e58dc..96278f2b8e1334fbba5779d9724836d8badde17c 100644 (file)
@@ -30,7 +30,7 @@
 #include <caml/callback.h>
 #include <caml/fail.h>
 
-#include <gtkmathview.h>
+#include <gtkmathview/gtkmathview.h>
 #include <ml_gtk.h>
 
 #include <wrappers.h>
@@ -77,11 +77,14 @@ value_of_font_manager_id(FontManagerId id)
 }
 
 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_2 (gtk_math_view_load_tree, GtkMathView_val, Document_val, Val_bool)
+ML_1 (gtk_math_view_freeze, GtkMathView_val, Unit)
+ML_1 (gtk_math_view_thaw, GtkMathView_val, Unit)
+ML_2 (gtk_math_view_load_uri, GtkMathView_val, String_val, Val_bool)
+ML_2 (gtk_math_view_load_doc, GtkMathView_val, Document_val, Val_bool)
 ML_1 (gtk_math_view_unload, GtkMathView_val, Unit)
-OML_1 (gtk_math_view_get_selection, GtkMathView_val, Val_Element)
-ML_2O (gtk_math_view_set_selection, GtkMathView_val, Element_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)
 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)
@@ -94,19 +97,12 @@ 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)
 ML_1 (gtk_math_view_get_anti_aliasing, GtkMathView_val, Val_bool)
-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_transparency, GtkMathView_val, Bool_val, Unit)
 ML_1 (gtk_math_view_get_transparency, 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, font_manager_id_of_value, Unit)
 ML_1 (gtk_math_view_get_font_manager_type, GtkMathView_val, value_of_font_manager_id)
-OML_1 (gtk_math_view_get_element, GtkMathView_val, Val_Element)
-OML_1 (gtk_math_view_get_action, GtkMathView_val, Val_Element)
-ML_1 (gtk_math_view_action_get_selected, GtkMathView_val, Val_int)
-ML_2 (gtk_math_view_action_set_selected, GtkMathView_val, Int_val, Unit)
-ML_1 (gtk_math_view_action_toggle, GtkMathView_val, Unit)
 
 value
 ml_gtk_math_view_export_to_postscript_native(value arg1,