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