X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Flablgtkmathview%2FgtkMathView.ml;h=4af1ae7826340b471b170701ab16c08f1de8fb4e;hb=8335f6c45ef87edd700b898e91489eb9cb551304;hp=dbb1463b7b825095078e9957f7957c7241969b32;hpb=56b68e877e6eb517c3efba7d9485947e940f7785;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gtkMathView.ml b/helm/DEVEL/lablgtkmathview/gtkMathView.ml
index dbb1463b7..4af1ae782 100644
--- a/helm/DEVEL/lablgtkmathview/gtkMathView.ml
+++ b/helm/DEVEL/lablgtkmathview/gtkMathView.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.
@@ -61,6 +62,9 @@ module MathView = struct
   external is_selected :
    [>`math_view] obj -> [> `Element] GdomeT.t -> bool =
    "ml_gtk_math_view_is_selected"
+  external get_element_at :
+   [> `math_view] obj -> int -> int -> TElement.t option =
+   "ml_gtk_math_view_get_element_at"
   external get_width : [>`math_view] obj -> int =
    "ml_gtk_math_view_get_width"
   external get_height : [>`math_view] obj -> int =