-(* Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
+(* Copyright (C) 2000-2003, Luca Padovani <luca.padovani@cs.unibo.it>,
+ * Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>.
*
* This file is part of lablgtkmathview, the Ocaml binding
* for the GtkMathView widget.
external is_selected :
[>`math_view] obj -> [> `Element] GdomeT.t -> bool =
"ml_gtk_math_view_is_selected"
+ external get_element_at :
+ [> `math_view] obj -> int -> int -> TElement.t option =
+ "ml_gtk_math_view_get_element_at"
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_buffer"
external get_frame : [>`math_view] obj -> Gtk.frame obj =
"ml_gtk_math_view_get_frame"
+ external get_drawing_area : [>`math_view] obj -> Gtk.drawing_area obj =
+ "ml_gtk_math_view_get_drawing_area"
external set_font_size : [>`math_view] obj -> int -> unit =
"ml_gtk_math_view_set_font_size"
external get_font_size : [>`math_view] obj -> int =
let marshal_click f _ =
function
[GtkArgv.POINTER element; GtkArgv.INT state] ->
- f (gdome_element_of_boxed_option element) state
+ f (gdome_element_option_of_boxed_option element) state
| _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_click"
in
{ name = "click"; classe = `math_view; marshaller = marshal_click }