"ml_gtk_math_view_gdome_element_option_of_boxed_option"
;;
+external model_event_of_boxed_option :
+ Gpointer.boxed option -> TElement.t option * int * int * int =
+ "ml_gtk_math_view_model_event_of_boxed_option"
+
let option_element_of_option =
function
None -> None
option_element_of_option (gdome_element_option_of_boxed_option x)
;;
+let model_event_of_boxed model_event =
+ let id,x,y,state = model_event_of_boxed_option model_event in
+ option_element_of_option id,x,y,state
+;;
+
let gdome_element_option_conv =
{Gobject.kind = `POINTER ;
Gobject.proj =
Gobject.inj =
(function element -> assert false)
}
+
+let gtk_math_view_model_event_conv =
+ {Gobject.kind = `POINTER ;
+ Gobject.proj =
+ (function
+ `POINTER model_event -> model_event_of_boxed model_event
+ | _ -> failwith "gtk_math_view_model_event_conv") ;
+ Gobject.inj =
+ (function element -> assert false)
+ }
}
oheader {
conversions {
GdomeElement_option "gdome_element_option_conv"
+ GtkMathViewModelEvent "gtk_math_view_model_event_conv"
}
classes {
GtkAdjustment "Gtk.adjustment obj"
- GtkDrawingArea "Gtk.drawing_area obj"
}
-class MathView type "math_view obj" set wrapsig : EventBox {
+class MathView_GMetaDOM type "math_view obj" set wrapsig : Widget {
(*
"width" gint : Read
"height" gint : Read
"log-verbosity" gint : Read / Write / Construct
"root-element" GdomeElement_option : Read
*)
- signal click: GdomeElement_option gint
- signal select_begin: GdomeElement_option gint
- signal select_over: GdomeElement_option gint
- signal select_end: GdomeElement_option gint
+ signal click: GtkMathViewModelEvent
+ signal select_begin: GtkMathViewModelEvent
+ signal select_over: GtkMathViewModelEvent
+ signal select_end: GtkMathViewModelEvent
signal select_abort
- signal element_over: GdomeElement_option gint
+ signal element_over: GtkMathViewModelEvent
}