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=a612a8b00f0482668a2e625cd440c629205b96c6;hb=fb6e592cfeee3b5d1c59e66888c953bd9c43156f;hp=9ed42b8b7092ce33f7cc8144ae064fc8d86c3e8b;hpb=2ee84a2a641938988703e329aef9fc3c5eb5aacf;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 9ed42b8b7..a612a8b00 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,24 +4,33 @@ 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 ->
+  external create : Gtk.adjustment optobj -> Gtk.adjustment optobj -> bool ->
    math_view obj = "ml_gtk_math_view_new"
-  let create ~adjustmenth ~adjustmentv () =
-   create (optboxed adjustmenth) (optboxed adjustmentv)
+  let create ~adjustmenth ~adjustmentv ~use_t1_lib () =
+   create (optboxed adjustmenth) (optboxed adjustmentv) use_t1_lib
   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 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 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 =
@@ -34,28 +43,48 @@ 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_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 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 log_set_verbosity : [>`math_view] obj -> int -> unit =
+   "ml_gtk_math_view_log_set_verbosity"
+  external log_get_verbosity : [>`math_view] obj -> int =
+   "ml_gtk_math_view_log_get_verbosity"
+  external export_to_postscript : [>`math_view] obj -> int =
+   "ml_gtk_math_view_export_to_postscript"
 
   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.STRING (Some str)] -> f str
+         [GtkArgv.POINTER node] -> f (mDOMNode_of_boxed_option node)
        | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_jump"
      in
       { name = "jump"; marshaller = marshal_jump }
 
-    let clicked : ([>`math_view],_) t =
-     let marshal_clicked f _ =
+    let selection_changed : ([>`math_view],_) t =
+     let marshal_selection_changed f _ =
       function
-         [] -> f ()
-       | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_clicked"
+         [GtkArgv.POINTER node] -> f (mDOMNode_of_boxed_option node)
+       | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_selection_changed"
      in
-      { name = "clicked"; marshaller = marshal_clicked }
+      { name = "selection_changed"; marshaller = marshal_selection_changed }
   end
 end