class multi_selection_math_view :Gtk_mathview.math_view Gtk.obj ->
object
..end
main class, extends single_selection_math_view
method remove_selection : Gdome.element -> unit
method remove_selections : unit
method add_selection : Gdome.element -> unit
method get_selections : Gdome.element list