X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathView.ml;h=3687c043b22d4d54cbbc72da1f327970f6f01be8;hb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;hp=d1028d189f67eae1c066d988c09573c6b06781e4;hpb=56b68e877e6eb517c3efba7d9485947e940f7785;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gMathView.ml b/helm/DEVEL/lablgtkmathview/gMathView.ml
index d1028d189..3687c043b 100644
--- a/helm/DEVEL/lablgtkmathview/gMathView.ml
+++ b/helm/DEVEL/lablgtkmathview/gMathView.ml
@@ -1,4 +1,5 @@
-(* Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
+(* Copyright (C) 2000-2003, Luca Padovani <luca.padovani@cs.unibo.it>,
+ *                          Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>.
  *
  * This file is part of lablgtkmathview, the Ocaml binding
  * for the GtkMathView widget.
@@ -44,7 +45,7 @@ class math_view_signals obj = object
     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 }
@@ -120,6 +121,7 @@ class math_view_skel obj = object
  method select element = MathView.select obj ((element : Gdome.element)#as_Element)
  method unselect element = MathView.unselect obj ((element : Gdome.element)#as_Element)
  method is_selected element = MathView.is_selected obj ((element : Gdome.element)#as_Element)
+ method get_element_at x y = option_element_of_option (MathView.get_element_at obj x y)
  method get_width = MathView.get_width obj
  method get_height = MathView.get_height obj
  method get_top = MathView.get_top obj
@@ -132,6 +134,7 @@ class math_view_skel obj = object
  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