-class math_view_signals obj = object
- inherit GContainer.container_signals obj
- 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 (new Gdome.element 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
-end
-