+ { name = "select_begin"; classe = `math_view;
+ marshaller = marshal_select_begin }
+
+ let select_over : ([>`math_view],_) t =
+ let marshal_select_over f _ =
+ function
+ [GtkArgv.POINTER element; GtkArgv.INT state] ->
+ f (gdome_element_option_of_boxed_option element) state
+ | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_select_over"
+ in
+ { name = "select_over"; classe = `math_view;
+ marshaller = marshal_select_over }
+
+ let select_end : ([>`math_view],_) t =
+ let marshal_select_end f _ =
+ function
+ [GtkArgv.POINTER element; GtkArgv.INT state] ->
+ f (gdome_element_option_of_boxed_option element) state
+ | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_select_end"
+ in
+ { name = "select_end"; classe = `math_view;
+ marshaller = marshal_select_end }
+
+ let select_abort : ([>`math_view],_) t =
+ let marshal_select_abort f _ =
+ function
+ [] -> f ()
+ | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_select_abort"
+ in
+ { name = "select_abort"; classe = `math_view;
+ marshaller = marshal_select_abort }