* update to version 0.6.4 of the widget

[helm.git] / helm / DEVEL / lablgtkmathview / gtkMathView.ml

diff --git a/helm/DEVEL/lablgtkmathview/gtkMathView.ml b/helm/DEVEL/lablgtkmathview/gtkMathView.ml
index 50de7a72ff21285d0c849763fcd9062912ab57f1..e337bdf10505d4c0d461d283745538b72d0776af 100644 (file)
--- a/helm/DEVEL/lablgtkmathview/gtkMathView.ml
+++ b/helm/DEVEL/lablgtkmathview/gtkMathView.ml
@@ -40,8 +40,8 @@ module MathView = struct
    "ml_gtk_math_view_thaw"
   external load_uri : [>`mathview] obj -> filename:string -> bool =
    "ml_gtk_math_view_load_uri"
-  external load_doc : [>`mathview] obj -> dom:[> `Document] GdomeT.t -> bool =
-   "ml_gtk_math_view_load_doc"
+  external load_root : [>`mathview] obj -> root:[> `Element] GdomeT.t -> bool =
+   "ml_gtk_math_view_load_root"
   external unload : [>`mathview] obj -> unit =
    "ml_gtk_math_view_unload"
   external select :
@@ -53,6 +53,15 @@ module MathView = struct
   external is_selected :
    [>`mathview] obj -> [> `Element] GdomeT.t -> bool =
    "ml_gtk_math_view_is_selected"
+  external structure_changed :
+   [>`mathview] obj -> [> `Element] GdomeT.t -> unit =
+   "ml_gtk_math_view_structure_changed"
+  external attribute_changed :
+   [>`mathview] obj -> [> `Element] GdomeT.t -> name:TDOMString.t -> unit =
+   "ml_gtk_math_view_attribute_changed"
+  external get_bounding_box :
+   [>`mathview] obj -> (int * int * int) =
+   "ml_gtk_math_view_get_bounding_box"
   external get_element_at :
    [> `mathview] obj -> int -> int -> TElement.t option =
    "ml_gtk_math_view_get_element_at"