+ GtkSignal.connect ~sgn:new_select_end obj ~after
+ method select_abort =
+ let module S = GtkSignal in
+ let new_select_abort =
+ let new_marshaller f x y =
+ MathView.Signals.select_abort.S.marshaller
+ (fun () -> f ()) x y
+ in
+ { S.name = "select_abort"; S.classe = `math_view;
+ S.marshaller = new_marshaller }
+ in
+ GtkSignal.connect ~sgn:new_select_abort obj ~after
+ method element_over =
+ let module S = GtkSignal in
+ let new_element_over =
+ let new_marshaller f x y =
+ MathView.Signals.element_over.S.marshaller
+ (fun e s -> f (option_element_of_option e) s) x y
+ in
+ { S.name = "element_over"; S.classe = `math_view;
+ S.marshaller = new_marshaller }
+ in
+ GtkSignal.connect ~sgn:new_element_over obj ~after