- method clicked = GtkSignal.connect ~sgn:MathView.Signals.clicked obj ~after
- method jump = GtkSignal.connect ~sgn:MathView.Signals.jump obj ~after
- method selection_changed =
- GtkSignal.connect ~sgn:MathView.Signals.selection_changed obj ~after
+ method clicked =
+ let module S = GtkSignal in
+ let new_clicked =
+ let new_marshaller f x y =
+ MathView.Signals.clicked.S.marshaller
+ (fun e -> f (new Gdome.element e)) x y
+ in
+ { S.name = "clicked"; S.classe = `math_view;
+ S.marshaller = new_marshaller }
+ in
+ GtkSignal.connect ~sgn:new_clicked obj ~after
+ method press_move =
+ let module S = GtkSignal in
+ let new_press_move =
+ let new_marshaller f x y =
+ MathView.Signals.press_move.S.marshaller
+ (fun x y ->
+ let option_element_of_option v =
+ match v with
+ None -> None
+ | Some v' -> Some (new Gdome.element v')
+ in
+ f (option_element_of_option x) (option_element_of_option y)) x y
+ in
+ { S.name = "press_move"; S.classe = `math_view;
+ S.marshaller = new_marshaller }
+ in
+ GtkSignal.connect ~sgn:new_press_move obj ~after
+ method element_changed =
+ let module S = GtkSignal in
+ let new_element_changed =
+ let new_marshaller f x y =
+ MathView.Signals.element_changed.S.marshaller
+ (function None -> f None | Some e -> f (Some (new Gdome.element e))) x y
+ in
+ { S.name = "element_changed"; S.classe = `math_view;
+ S.marshaller = new_marshaller }
+ in
+ GtkSignal.connect ~sgn:new_element_changed obj ~after