final ispell

[helm.git] / helm / DEVEL / lablgtkmathview / gMathViewAux.mli

diff --git a/helm/DEVEL/lablgtkmathview/gMathViewAux.mli b/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
index abbe54493d7bc901813b2d919ecb06eb8a51419f..edcf156357e7f65097bab15d0c85b8aff099c1c4 100644 (file)
--- a/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
+++ b/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
@@ -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.
@@ -35,6 +36,7 @@ class single_selection_math_view :
     method connect : single_selection_math_view_signals
     method get_selection : Gdome.element option
     method set_selection : Gdome.element option -> unit
+    method action_toggle : Gdome.element -> bool
   end
 
 val single_selection_math_view :