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 module MathView = struct
25 type font_manager_id = FontManagerGtk | FontManagerT1
27 let cast w : math_view obj = Object.try_cast w "GtkMathView"
28 external create : Gtk.adjustment optobj -> Gtk.adjustment optobj ->
29 math_view obj = "ml_gtk_math_view_new"
30 let create ~adjustmenth ~adjustmentv () =
31 create (optboxed adjustmenth) (optboxed adjustmentv)
32 external load : [>`math_view] obj -> filename:string -> bool =
33 "ml_gtk_math_view_load"
34 external unload : [>`math_view] obj -> unit =
35 "ml_gtk_math_view_unload"
36 external raw_get_selection : [>`math_view] obj -> Minidom.mDOMNode option =
37 "ml_gtk_math_view_get_selection"
38 let has_selection obj =
39 match raw_get_selection obj with
42 let get_selection obj =
43 match raw_get_selection obj with
44 | Some x -> o_mDOMNode_of_mDOMNode x
45 | None -> raise NoSelection
46 external raw_set_selection : [>`math_view] obj -> Minidom.mDOMNode option -> unit=
47 "ml_gtk_math_view_set_selection"
48 let set_selection obj (node : Ominidom.o_mDOMNode) = raw_set_selection obj (Some (node#get_dom_node))
49 let reset_selection obj = raw_set_selection obj None
50 external get_width : [>`math_view] obj -> int =
51 "ml_gtk_math_view_get_width"
52 external get_height : [>`math_view] obj -> int =
53 "ml_gtk_math_view_get_height"
54 external get_top : [>`math_view] obj -> (int * int) =
55 "ml_gtk_math_view_get_top"
56 external set_top : [>`math_view] obj -> int -> int -> unit =
57 "ml_gtk_math_view_set_top"
58 external set_adjustments : [>`math_view] obj -> Gtk.adjustment obj -> Gtk.adjustment obj -> unit =
59 "ml_gtk_math_view_set_adjustments"
60 external get_hadjustment : [>`math_view] obj -> Gtk.adjustment obj =
61 "ml_gtk_math_view_get_hadjustment"
62 external get_vadjustment : [>`math_view] obj -> Gtk.adjustment obj =
63 "ml_gtk_math_view_get_vadjustment"
64 external get_buffer : [>`math_view] obj -> Gdk.pixmap =
65 "ml_gtk_math_view_get_buffer"
66 external get_frame : [>`math_view] obj -> [`frame] obj =
67 "ml_gtk_math_view_get_frame"
68 external set_font_size : [>`math_view] obj -> int -> unit =
69 "ml_gtk_math_view_set_font_size"
70 external get_font_size : [>`math_view] obj -> int =
71 "ml_gtk_math_view_get_font_size"
72 external set_anti_aliasing : [>`math_view] obj -> bool -> unit =
73 "ml_gtk_math_view_set_anti_aliasing"
74 external get_anti_aliasing : [>`math_view] obj -> bool =
75 "ml_gtk_math_view_get_anti_aliasing"
76 external set_kerning : [>`math_view] obj -> bool -> unit =
77 "ml_gtk_math_view_set_kerning"
78 external get_kerning : [>`math_view] obj -> bool =
79 "ml_gtk_math_view_get_kerning"
80 external set_log_verbosity : [>`math_view] obj -> int -> unit =
81 "ml_gtk_math_view_set_log_verbosity"
82 external get_log_verbosity : [>`math_view] obj -> int =
83 "ml_gtk_math_view_get_log_verbosity"
84 external export_to_postscript :
85 [>`math_view] obj -> width:int -> height:int -> x_margin:int -> y_margin:int -> disable_colors:bool
86 -> filename:string -> bool =
87 "ml_gtk_math_view_export_to_postscript_bytecode" "ml_gtk_math_view_export_to_postscript_native"
88 external get_font_manager_type : [>`math_view] obj -> font_manager_id =
89 "ml_gtk_math_view_get_font_manager_type"
90 external set_font_manager_type : [>`math_view] obj -> fm_type:font_manager_id -> unit =
91 "ml_gtk_math_view_set_font_manager_type"
93 module Signals = struct
96 let clicked : ([>`math_view],_) t =
97 let marshal_clicked f _ =
99 [GtkArgv.POINTER node] -> f (o_mDOMNode_of_mDOMNode (mDOMNode_of_boxed_option node))
100 | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_clicked"
102 { name = "clicked"; marshaller = marshal_clicked }
104 let jump : ([>`math_view],_) t =
105 let marshal_jump f _ =
107 [GtkArgv.POINTER node] -> f (o_mDOMNode_of_mDOMNode (mDOMNode_of_boxed_option node))
108 | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_jump"
110 { name = "jump"; marshaller = marshal_jump }
112 let selection_changed : ([>`math_view],_) t =
113 let marshal_selection_changed f _ =
115 [GtkArgv.POINTER node] -> f (o_mDOMNode_option_of_mDOMNode_option (mDOMNode_option_of_boxed_option node))
116 | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_selection_changed"
118 { name = "selection_changed"; marshaller = marshal_selection_changed }