7 external mDOMNode_of_boxed_option :
8 Gpointer.boxed option -> Minidom.mDOMNode =
9 "ml_gtk_math_view_mDOMNode_of_bodex_option"
11 external mDOMNode_option_of_boxed_option :
12 Gpointer.boxed option -> Minidom.mDOMNode option =
13 "ml_gtk_math_view_mDOMNode_option_of_bodex_option"
15 let o_mDOMNode_of_mDOMNode node = new Ominidom.o_mDOMNode node
17 let o_mDOMNode_option_of_mDOMNode_option =
19 | Some x -> Some (o_mDOMNode_of_mDOMNode x)
22 let mDOMNode_option_of_o_mDOMNode_option =
24 | Some x -> Some (x#get_dom_node)
27 module MathView = struct
30 let cast w : math_view obj = Object.try_cast w "GtkMathView"
31 external create : Gtk.adjustment optobj -> Gtk.adjustment optobj ->
32 math_view obj = "ml_gtk_math_view_new"
33 let create ~adjustmenth ~adjustmentv () =
34 create (optboxed adjustmenth) (optboxed adjustmentv)
35 external load : [>`math_view] obj -> filename:string -> bool =
36 "ml_gtk_math_view_load"
37 external unload : [>`math_view] obj -> unit =
38 "ml_gtk_math_view_unload"
39 external raw_get_selection : [>`math_view] obj -> Minidom.mDOMNode option =
40 "ml_gtk_math_view_get_selection"
41 let get_selection obj =
42 o_mDOMNode_option_of_mDOMNode_option (raw_get_selection obj)
43 external raw_set_selection : [>`math_view] obj -> Minidom.mDOMNode option -> unit=
44 "ml_gtk_math_view_set_selection"
45 let set_selection obj node =
46 raw_set_selection obj (mDOMNode_option_of_o_mDOMNode_option node)
47 external get_width : [>`math_view] obj -> int =
48 "ml_gtk_math_view_get_width"
49 external get_height : [>`math_view] obj -> int =
50 "ml_gtk_math_view_get_height"
51 external get_top : [>`math_view] obj -> (int * int) =
52 "ml_gtk_math_view_get_top"
53 external set_top : [>`math_view] obj -> int -> int -> unit =
54 "ml_gtk_math_view_set_top"
55 external set_adjustments : [>`math_view] obj -> Gtk.adjustment obj -> Gtk.adjustment obj -> unit =
56 "ml_gtk_math_view_set_adjustments"
57 external get_hadjustment : [>`math_view] obj -> Gtk.adjustment obj =
58 "ml_gtk_math_view_get_hadjustment"
59 external get_vadjustment : [>`math_view] obj -> Gtk.adjustment obj =
60 "ml_gtk_math_view_get_vadjustment"
61 external get_buffer : [>`math_view] obj -> Gdk.pixmap =
62 "ml_gtk_math_view_get_buffer"
63 external get_frame : [>`math_view] obj -> [`frame] obj =
64 "ml_gtk_math_view_get_frame"
65 external set_font_size : [>`math_view] obj -> int -> unit =
66 "ml_gtk_math_view_set_font_size"
67 external get_font_size : [>`math_view] obj -> int =
68 "ml_gtk_math_view_get_font_size"
69 external set_anti_aliasing : [>`math_view] obj -> bool -> unit =
70 "ml_gtk_math_view_set_anti_aliasing"
71 external get_anti_aliasing : [>`math_view] obj -> bool =
72 "ml_gtk_math_view_get_anti_aliasing"
73 external set_kerning : [>`math_view] obj -> bool -> unit =
74 "ml_gtk_math_view_set_kerning"
75 external get_kerning : [>`math_view] obj -> bool =
76 "ml_gtk_math_view_get_kerning"
77 external set_log_verbosity : [>`math_view] obj -> int -> unit =
78 "ml_gtk_math_view_set_log_verbosity"
79 external get_log_verbosity : [>`math_view] obj -> int =
80 "ml_gtk_math_view_get_log_verbosity"
81 external export_to_postscript :
82 [>`math_view] obj -> width:int -> height:int -> x_margin:int -> y_margin:int -> disable_colors:bool -> filename:string -> bool =
83 "ml_gtk_math_view_export_to_postscript_bytecode" "ml_gtk_math_view_export_to_postscript_native"
84 external get_font_manager_type : [>`math_view] obj ->
85 [`font_manager_gtk | `font_manager_t1] =
86 "ml_gtk_math_view_get_font_manager_type"
87 external set_font_manager_type : [>`math_view] obj ->
88 fm_type:[`font_manager_gtk | `font_manager_t1] -> unit =
89 "ml_gtk_math_view_set_font_manager_type"
91 module Signals = struct
94 let clicked : ([>`math_view],_) t =
95 let marshal_clicked f _ =
97 [GtkArgv.POINTER node] -> f (o_mDOMNode_of_mDOMNode (mDOMNode_of_boxed_option node))
98 | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_clicked"
100 { name = "clicked"; marshaller = marshal_clicked }
102 let jump : ([>`math_view],_) t =
103 let marshal_jump f _ =
105 [GtkArgv.POINTER node] -> f (o_mDOMNode_of_mDOMNode (mDOMNode_of_boxed_option node))
106 | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_jump"
108 { name = "jump"; marshaller = marshal_jump }
110 let selection_changed : ([>`math_view],_) t =
111 let marshal_selection_changed f _ =
113 [GtkArgv.POINTER node] -> f (o_mDOMNode_option_of_mDOMNode_option (mDOMNode_option_of_boxed_option node))
114 | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_selection_changed"
116 { name = "selection_changed"; marshaller = marshal_selection_changed }