[GtkArgv.POINTER element] -> f (gdome_element_of_boxed_option element)
| _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_clicked"
in
[GtkArgv.POINTER element] -> f (gdome_element_of_boxed_option element)
| _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_clicked"
in
let selection_changed : ([>`math_view],_) t =
let marshal_selection_changed f _ =
let selection_changed : ([>`math_view],_) t =
let marshal_selection_changed f _ =
[GtkArgv.POINTER element] -> f (gdome_element_option_of_boxed_option element)
| _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_selection_changed"
in
[GtkArgv.POINTER element] -> f (gdome_element_option_of_boxed_option element)
| _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_selection_changed"
in
let element_changed : ([>`math_view],_) t =
let marshal_element_changed f _ =
let element_changed : ([>`math_view],_) t =
let marshal_element_changed f _ =
[GtkArgv.POINTER element] -> f (gdome_element_option_of_boxed_option element)
| _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_element_changed"
in
[GtkArgv.POINTER element] -> f (gdome_element_option_of_boxed_option element)
| _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_element_changed"
in