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
+ (fun e s -> f (option_element_of_option e) s) x y
in
{ S.name = "click"; S.classe = `math_view;
S.marshaller = new_marshaller }
method get_vadjustment = new GData.adjustment (MathView.get_vadjustment obj)
method get_buffer = MathView.get_buffer obj
method get_frame = new GBin.frame (MathView.get_frame obj)
+ method get_drawing_area = new GMisc.drawing_area (MathView.get_drawing_area obj)
method set_font_size = MathView.set_font_size obj
method get_font_size = MathView.get_font_size obj
method set_anti_aliasing = MathView.set_anti_aliasing obj