7 module MathView = struct
8 let cast w : math_view obj = Object.try_cast w "GtkMathView"
9 external create : Gtk.adjustment optobj -> Gtk.adjustment optobj ->
10 math_view obj = "ml_gtk_math_view_new"
11 let create ~adjustmenth ~adjustmentv () =
12 create (optboxed adjustmenth) (optboxed adjustmentv)
13 external load : [>`math_view] obj -> filename:string -> bool =
14 "ml_gtk_math_view_load"
15 external get_selection : [>`math_view] obj -> string option =
16 "ml_gtk_math_view_get_selection"
17 external unload : [>`math_view] obj -> unit =
18 "ml_gtk_math_view_unload"
19 external dump : [>`math_view] obj -> unit =
20 "ml_gtk_math_view_dump"
21 external get_width : [>`math_view] obj -> int =
22 "ml_gtk_math_view_get_width"
23 external get_height : [>`math_view] obj -> int =
24 "ml_gtk_math_view_get_height"
25 external set_adjustments : [>`math_view] obj -> Gtk.adjustment obj -> Gtk.adjustment obj -> unit =
26 "ml_gtk_math_view_set_adjustments"
27 external get_hadjustment : [>`math_view] obj -> Gtk.adjustment obj =
28 "ml_gtk_math_view_get_hadjustment"
29 external get_vadjustment : [>`math_view] obj -> Gtk.adjustment obj =
30 "ml_gtk_math_view_get_vadjustment"
31 external get_buffer : [>`math_view] obj -> Gdk.pixmap =
32 "ml_gtk_math_view_get_buffer"
33 external get_frame : [>`math_view] obj -> [`frame] obj =
34 "ml_gtk_math_view_get_frame"
35 external set_font_size : [>`math_view] obj -> int -> unit =
36 "ml_gtk_math_view_set_font_size"
37 (*external get_top : [>`math_view] obj -> (int * int) =
38 "ml_gtk_math_view_get_top"
39 external set_top : [>`math_view] obj -> int -> int -> unit =
40 "ml_gtk_math_view_set_top"*)
42 module Signals = struct
45 let jump : ([>`math_view],_) t =
46 let marshal_jump f _ =
48 [GtkArgv.STRING (Some str)] -> f str
49 | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_jump"
51 { name = "jump"; marshaller = marshal_jump }
53 let clicked : ([>`math_view],_) t =
54 let marshal_clicked f _ =
57 | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_clicked"
59 { name = "clicked"; marshaller = marshal_clicked }