+ method click =
+ let module S = GtkSignal in
+ let new_click =
+ let new_marshaller f x y =
+ MathView.Signals.click.S.marshaller
+ (fun e s -> f (option_element_of_option e) s) x y
+ in
+ { S.name = "click"; S.classe = `math_view;
+ S.marshaller = new_marshaller }
+ in
+ GtkSignal.connect ~sgn:new_click obj ~after
+ method select_begin =
+ let module S = GtkSignal in
+ let new_select_begin =
+ let new_marshaller f x y =
+ MathView.Signals.select_begin.S.marshaller
+ (fun e s -> f (option_element_of_option e) s) x y
+ in
+ { S.name = "select_begin"; S.classe = `math_view;
+ S.marshaller = new_marshaller }
+ in
+ GtkSignal.connect ~sgn:new_select_begin obj ~after
+ method select_over =
+ let module S = GtkSignal in
+ let new_select_over =
+ let new_marshaller f x y =
+ MathView.Signals.select_over.S.marshaller
+ (fun e s -> f (option_element_of_option e) s) x y
+ in
+ { S.name = "select_over"; S.classe = `math_view;
+ S.marshaller = new_marshaller }
+ in
+ GtkSignal.connect ~sgn:new_select_over obj ~after
+ method select_end =
+ let module S = GtkSignal in
+ let new_select_end =
+ let new_marshaller f x y =
+ MathView.Signals.select_end.S.marshaller
+ (fun e s -> f (option_element_of_option e) s) x y
+ in
+ { S.name = "select_end"; S.classe = `math_view;
+ S.marshaller = new_marshaller }
+ in
+ 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