class multi_selection_math_view :Gtk_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