First release. All implemented but the PostScript output. Nothing tested

[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.1.0 / gtkMathView.ml

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 9ed42b8b7092ce33f7cc8144ae064fc8d86c3e8b..a612a8b00f0482668a2e625cd440c629205b96c6 100644 (file)
--- 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