* update to version 0.6.4 of the widget

[helm.git] / helm / DEVEL / lablgtkmathview / gMathView.mli

diff --git a/helm/DEVEL/lablgtkmathview/gMathView.mli b/helm/DEVEL/lablgtkmathview/gMathView.mli
index 1fb5b821d8975e4e3f8d5a169c6fcfe4ce7d7fc3..62b31d35d8088aa8f484f1da819302f6410f33e3 100644 (file)
--- a/helm/DEVEL/lablgtkmathview/gMathView.mli
+++ b/helm/DEVEL/lablgtkmathview/gMathView.mli
@@ -61,10 +61,13 @@ class math_view_skel :
     method get_vadjustment : GData.adjustment
     method get_width : int
     method load_uri : filename:string -> unit
-    method load_doc : dom:Gdome.document -> unit
+    method load_root : root:Gdome.element -> unit
     method set_adjustments : GData.adjustment -> GData.adjustment -> unit
     method set_font_size : int -> unit
     method set_log_verbosity : int -> unit
+    method structure_changed : Gdome.element -> unit
+    method attribute_changed : Gdome.element -> name:Gdome.domString -> unit
+    method get_bounding_box : int * int * int
     method select : Gdome.element -> unit
     method unselect : Gdome.element -> unit
     method get_element_at : int -> int -> Gdome.element option