]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gMathViewAux.mli
final ispell
[helm.git] / helm / DEVEL / lablgtkmathview / gMathViewAux.mli
index a5aabcfb4a2438ad0f64314a2df155ae1cd6b7db..edcf156357e7f65097bab15d0c85b8aff099c1c4 100644 (file)
@@ -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 :
@@ -49,6 +51,8 @@ val single_selection_math_view :
   ?show:bool ->
   unit -> single_selection_math_view
 
+  (** EXPERIMENTAL STUFF from now on: use with care and at your own risk! *)
+
 class multi_selection_math_view :
   Gtk_mathview.math_view Gtk.obj ->
   object