X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.1.0%2FgtkMathView.ml;h=9ed42b8b7092ce33f7cc8144ae064fc8d86c3e8b;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=1deb11182c05b4e074a7d1b3304c1c001d9a2d2a;hpb=33dcab0b5868d4bfd2f813445cfc94827f1fc555;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtkMathView.ml b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtkMathView.ml
index 1deb11182..9ed42b8b7 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtkMathView.ml
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtkMathView.ml
@@ -4,33 +4,24 @@ open Tags
 open GtkBase
 open Gpointer
 
-external mDOMNode_of_boxed_option : Gpointer.boxed option -> Minidom.mDOMNode =
- "ml_gtk_math_view_mDOMNode_of_bodex_option"
-
 module MathView = struct
   let cast w : math_view obj = Object.try_cast w "GtkMathView"
-  external create : Gtk.adjustment optobj -> Gtk.adjustment optobj -> bool ->
+  external create : Gtk.adjustment optobj -> Gtk.adjustment optobj ->
    math_view obj = "ml_gtk_math_view_new"
-  let create ~adjustmenth ~adjustmentv ~use_t1_lib () =
-   create (optboxed adjustmenth) (optboxed adjustmentv) use_t1_lib
+  let create ~adjustmenth ~adjustmentv () =
+   create (optboxed adjustmenth) (optboxed adjustmentv)
   external load : [>`math_view] obj -> filename:string -> bool =
    "ml_gtk_math_view_load"
+  external get_selection : [>`math_view] obj -> string option =
+   "ml_gtk_math_view_get_selection"
   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 =
-   "ml_gtk_math_view_get_selection"
-  external set_selection : [>`math_view] obj -> Minidom.mDOMNode -> unit =
-   "ml_gtk_math_view_set_selection"
+  external dump : [>`math_view] obj -> unit =
+   "ml_gtk_math_view_dump"
   external get_width : [>`math_view] obj -> int =
    "ml_gtk_math_view_get_width"
   external get_height : [>`math_view] obj -> int =
    "ml_gtk_math_view_get_height"
-  external get_top : [>`math_view] obj -> (int * int) =
-   "ml_gtk_math_view_get_top"
-  external set_top : [>`math_view] obj -> int -> int -> unit =
-   "ml_gtk_math_view_set_top"
   external set_adjustments : [>`math_view] obj -> Gtk.adjustment obj -> Gtk.adjustment obj -> unit =
    "ml_gtk_math_view_set_adjustments"
   external get_hadjustment : [>`math_view] obj -> Gtk.adjustment obj =
@@ -43,48 +34,28 @@ module MathView = struct
    "ml_gtk_math_view_get_frame"
   external set_font_size : [>`math_view] obj -> int -> unit =
    "ml_gtk_math_view_set_font_size"
-  external get_font_size : [>`math_view] obj -> int =
-   "ml_gtk_math_view_get_font_size"
-  external set_anti_aliasing : [>`math_view] obj -> bool -> unit =
-   "ml_gtk_math_view_set_anti_aliasing"
-  external get_anti_aliasing : [>`math_view] obj -> bool =
-   "ml_gtk_math_view_get_anti_aliasing"
-  external set_kerning : [>`math_view] obj -> bool -> unit =
-   "ml_gtk_math_view_set_kerning"
-  external get_kerning : [>`math_view] obj -> bool =
-   "ml_gtk_math_view_get_kerning"
-  external set_log_verbosity : [>`math_view] obj -> int -> unit =
-   "ml_gtk_math_view_set_log_verbosity"
-  external get_log_verbosity : [>`math_view] obj -> int =
-   "ml_gtk_math_view_get_log_verbosity"
-  external export_to_postscript : [>`math_view] obj -> int =
-   "ml_gtk_math_view_export_to_postscript"
+  (*external get_top : [>`math_view] obj -> (int * int) =
+   "ml_gtk_math_view_get_top"
+  external set_top : [>`math_view] obj -> int -> int -> unit =
+   "ml_gtk_math_view_set_top"*)
 
   module Signals = struct
     open GtkSignal
 
-    let clicked : ([>`math_view],_) t =
-     let marshal_clicked f _ =
-      function
-         [GtkArgv.POINTER node] -> f (mDOMNode_of_boxed_option node)
-       | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_clicked"
-     in
-      { name = "clicked"; marshaller = marshal_clicked }
-
     let jump : ([>`math_view],_) t =
      let marshal_jump f _ =
       function
-         [GtkArgv.POINTER node] -> f (mDOMNode_of_boxed_option node)
+         [GtkArgv.STRING (Some str)] -> f str
        | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_jump"
      in
       { name = "jump"; marshaller = marshal_jump }
 
-    let selection_changed : ([>`math_view],_) t =
-     let marshal_selection_changed f _ =
+    let clicked : ([>`math_view],_) t =
+     let marshal_clicked f _ =
       function
-         [GtkArgv.POINTER node] -> f (mDOMNode_of_boxed_option node)
-       | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_selection_changed"
+         [] -> f ()
+       | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_clicked"
      in
-      { name = "selection_changed"; marshaller = marshal_selection_changed }
+      { name = "clicked"; marshaller = marshal_clicked }
   end
 end