X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgtkMathView.ml;h=eed812d9e893f4c2b56fa1ba44162b7f99e2b72c;hb=aa4eb8949201e7a7b54e3459ec0fe271e126049c;hp=f4edcf588bc4ec83d9a02d7554db336847be3cc4;hpb=60d4605204ba0e63c546e7d0c3318d64b34ea86e;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gtkMathView.ml b/helm/DEVEL/lablgtkmathview/gtkMathView.ml
index f4edcf588..eed812d9e 100644
--- a/helm/DEVEL/lablgtkmathview/gtkMathView.ml
+++ b/helm/DEVEL/lablgtkmathview/gtkMathView.ml
@@ -28,11 +28,11 @@ open Gpointer
 
 external mDOMNode_of_boxed_option :
  Gpointer.boxed option -> Minidom.mDOMNode =
-  "ml_gtk_math_view_mDOMNode_of_bodex_option"
+  "ml_gtk_math_view_mDOMNode_of_boxed_option"
 
 external mDOMNode_option_of_boxed_option :
  Gpointer.boxed option -> Minidom.mDOMNode option =
-  "ml_gtk_math_view_mDOMNode_option_of_bodex_option"
+  "ml_gtk_math_view_mDOMNode_option_of_boxed_option"
 
 let o_mDOMNode_of_mDOMNode node = new Ominidom.o_mDOMNode node
 
@@ -56,6 +56,10 @@ module MathView = struct
    create (optboxed adjustmenth) (optboxed adjustmentv)
   external load : [>`math_view] obj -> filename:string -> bool =
    "ml_gtk_math_view_load"
+  external raw_load_tree : [>`math_view] obj -> Minidom.mDOMDoc -> bool =
+   "ml_gtk_math_view_load_tree"
+  let load_tree obj ~(dom:Ominidom.o_mDOMDoc) =
+   raw_load_tree obj dom#get_dom_doc
   external unload : [>`math_view] obj -> unit =
    "ml_gtk_math_view_unload"
   external raw_get_selection : [>`math_view] obj -> Minidom.mDOMNode option =
@@ -96,6 +100,10 @@ module MathView = struct
    "ml_gtk_math_view_set_kerning"
   external get_kerning : [>`math_view] obj -> bool =
    "ml_gtk_math_view_get_kerning"
+  external set_transparency : [>`math_view] obj -> bool -> unit =
+   "ml_gtk_math_view_set_transparency"
+  external get_transparency : [>`math_view] obj -> bool =
+   "ml_gtk_math_view_get_transparency"
   external set_log_verbosity : [>`math_view] obj -> int -> unit =
    "ml_gtk_math_view_set_log_verbosity"
   external get_log_verbosity : [>`math_view] obj -> int =
@@ -109,6 +117,20 @@ module MathView = struct
   external set_font_manager_type : [>`math_view] obj ->
     fm_type:[`font_manager_gtk | `font_manager_t1] -> unit =
    "ml_gtk_math_view_set_font_manager_type"
+  external raw_get_element : [>`math_view] obj -> Minidom.mDOMNode option =
+   "ml_gtk_math_view_get_element"
+  let get_element obj =
+   o_mDOMNode_option_of_mDOMNode_option (raw_get_element obj)
+  external action_get_selected : [>`math_view] obj -> int =
+   "ml_gtk_math_view_action_get_selected"
+  external action_set_selected : [>`math_view] obj -> int -> unit =
+   "ml_gtk_math_view_action_set_selected"
+  external raw_get_action : [>`math_view] obj -> Minidom.mDOMNode option =
+   "ml_gtk_math_view_get_action"
+  let get_action obj =
+   o_mDOMNode_option_of_mDOMNode_option (raw_get_action obj)
+  external action_toggle : [>`math_view] obj -> unit =
+   "ml_gtk_math_view_action_toggle"
   
   module Signals = struct
     open GtkSignal
@@ -121,14 +143,6 @@ module MathView = struct
      in
       { name = "clicked"; marshaller = marshal_clicked }
 
-    let jump : ([>`math_view],_) t =
-     let marshal_jump f _ =
-      function
-         [GtkArgv.POINTER node] -> f (o_mDOMNode_of_mDOMNode (mDOMNode_of_boxed_option node))
-       | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_jump"
-     in
-      { name = "jump"; marshaller = marshal_jump }
-
     let selection_changed : ([>`math_view],_) t =
      let marshal_selection_changed f _ =
       function
@@ -136,5 +150,13 @@ module MathView = struct
        | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_selection_changed"
      in
       { name = "selection_changed"; marshaller = marshal_selection_changed }
+
+    let element_changed : ([>`math_view],_) t =
+     let marshal_element_changed f _ =
+      function
+         [GtkArgv.POINTER node] -> f (o_mDOMNode_option_of_mDOMNode_option (mDOMNode_option_of_boxed_option node))
+       | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_element_changed"
+     in
+      { name = "element_changed"; marshaller = marshal_element_changed }
   end
 end