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