X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.0%2FgtkMathView.ml;h=97ae38e32979b9aa48ec61b2c5d78f19c9153b4f;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=62cd5409dc436b9b019c69658576e0beb35bab53;hpb=3305472858d756f9d4293d7f9e9f0257a51a1164;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/gtkMathView.ml b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/gtkMathView.ml
index 62cd5409d..97ae38e32 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/gtkMathView.ml
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/gtkMathView.ml
@@ -4,8 +4,13 @@ open Tags
 open GtkBase
 open Gpointer
 
-external mDOMNode_of_boxed_option : Gpointer.boxed option -> Minidom.mDOMNode =
- "ml_gtk_math_view_mDOMNode_of_bodex_option"
+external mDOMNode_of_boxed_option :
+ Gpointer.boxed option -> Minidom.mDOMNode =
+  "ml_gtk_math_view_mDOMNode_of_bodex_option"
+
+external mDOMNode_option_of_boxed_option :
+ Gpointer.boxed option -> Minidom.mDOMNode option =
+  "ml_gtk_math_view_mDOMNode_option_of_bodex_option"
 
 module MathView = struct
   let cast w : math_view obj = Object.try_cast w "GtkMathView"
@@ -17,11 +22,9 @@ module MathView = struct
    "ml_gtk_math_view_load"
   external unload : [>`math_view] obj -> unit =
    "ml_gtk_math_view_unload"
-  (*external dump : [>`math_view] obj -> unit =
-   "ml_gtk_math_view_dump"*)
-  external get_selection : [>`math_view] obj -> Minidom.mDOMNode =
+  external get_selection : [>`math_view] obj -> Minidom.mDOMNode option =
    "ml_gtk_math_view_get_selection"
-  external set_selection : [>`math_view] obj -> Minidom.mDOMNode -> unit =
+  external set_selection : [>`math_view] obj -> Minidom.mDOMNode option -> unit=
    "ml_gtk_math_view_set_selection"
   external get_width : [>`math_view] obj -> int =
    "ml_gtk_math_view_get_width"
@@ -82,7 +85,7 @@ module MathView = struct
     let selection_changed : ([>`math_view],_) t =
      let marshal_selection_changed f _ =
       function
-         [GtkArgv.POINTER node] -> f (mDOMNode_of_boxed_option node)
+         [GtkArgv.POINTER node] -> f (mDOMNode_option_of_boxed_option node)
        | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_selection_changed"
      in
       { name = "selection_changed"; marshaller = marshal_selection_changed }