-(* 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.
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 :