sig
  class single_selection_math_view_signals :
    ([> `gtk | `mathview_gmetadom | `widget ] as 'b) Gtk.obj ->
    ((Gdome.element option -> unit) -> unit) ->
    object ('a)
      val after : bool
      val obj : 'Gtk.obj
      method after : 'a
      method click :
        callback:(Gdome.element option * int * int * int -> unit) ->
        GtkSignal.id
      method destroy : callback:(unit -> unit) -> GtkSignal.id
      method element_over :
        callback:(Gdome.element option * int * int * int -> unit) ->
        GtkSignal.id
      method select_abort : callback:(unit -> unit) -> GtkSignal.id
      method select_begin :
        callback:(Gdome.element option * int * int * int -> unit) ->
        GtkSignal.id
      method select_end :
        callback:(Gdome.element option * int * int * int -> unit) ->
        GtkSignal.id
      method select_over :
        callback:(Gdome.element option * int * int * int -> unit) ->
        GtkSignal.id
      method selection_changed :
        (Gdome.element_of_node option -> unit) -> unit
    end
  class single_selection_math_view :
    Gtk_mathview.math_view Gtk.obj ->
    object
      val obj : Gtk_mathview.math_view Gtk.obj
      method action_toggle : Gdome.element -> bool
      method as_widget : Gtk.widget Gtk.obj
      method attribute_changed :
        Gdome.element -> name:Gdome.domString -> unit
      method coerce : GObj.widget
      method connect : GMathViewAux.single_selection_math_view_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method event : GObj.event_ops
      method freeze : unit
      method get_adjustments : GData.adjustment * GData.adjustment
      method get_bounding_box : int * int * int
      method get_buffer : Gdk.pixmap
      method get_document : Gdome.document option
      method get_element_at : int -> int -> Gdome.element option
      method get_font_size : int
      method get_log_verbosity : int
      method get_oid : int
      method get_selection : Gdome.element option
      method get_size : int * int
      method get_t1_anti_aliased_mode : bool
      method get_t1_opaque_mode : bool
      method get_top : int * int
      method is_selected : Gdome.element -> bool
      method load_root : root:Gdome.element -> unit
      method load_uri : filename:string -> unit
      method misc : GObj.misc_ops
      method select : Gdome.element -> unit
      method set_adjustments : GData.adjustment -> GData.adjustment -> unit
      method set_font_size : int -> unit
      method set_log_verbosity : int -> unit
      method set_selection : Gdome.element option -> unit
      method set_t1_anti_aliased_mode : bool -> unit
      method set_t1_opaque_mode : bool -> unit
      method set_top : int -> int -> unit
      method structure_changed : Gdome.element -> unit
      method thaw : unit
      method unload : unit
      method unselect : Gdome.element -> unit
    end
  val single_selection_math_view :
    ?hadjustment:GData.adjustment ->
    ?vadjustment:GData.adjustment ->
    ?font_size:int ->
    ?log_verbosity:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) ->
    ?show:bool -> unit -> GMathViewAux.single_selection_math_view
  class multi_selection_math_view :
    Gtk_mathview.math_view Gtk.obj ->
    object
      val obj : Gtk_mathview.math_view Gtk.obj
      method action_toggle : Gdome.element -> bool
      method add_selection : Gdome.element -> unit
      method as_widget : Gtk.widget Gtk.obj
      method attribute_changed :
        Gdome.element -> name:Gdome.domString -> unit
      method coerce : GObj.widget
      method connect : single_selection_math_view_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method event : GObj.event_ops
      method freeze : unit
      method get_adjustments : GData.adjustment * GData.adjustment
      method get_bounding_box : int * int * int
      method get_buffer : Gdk.pixmap
      method get_document : Gdome.document option
      method get_element_at : int -> int -> Gdome.element option
      method get_font_size : int
      method get_log_verbosity : int
      method get_oid : int
      method get_selection : Gdome.element option
      method get_selections : Gdome.element list
      method get_size : int * int
      method get_t1_anti_aliased_mode : bool
      method get_t1_opaque_mode : bool
      method get_top : int * int
      method is_selected : Gdome.element -> bool
      method load_root : root:Gdome.element -> unit
      method load_uri : filename:string -> unit
      method misc : GObj.misc_ops
      method remove_selection : Gdome.element -> unit
      method remove_selections : unit
      method select : Gdome.element -> unit
      method set_adjustments : GData.adjustment -> GData.adjustment -> unit
      method set_font_size : int -> unit
      method set_log_verbosity : int -> unit
      method set_selection : Gdome.element option -> unit
      method set_t1_anti_aliased_mode : bool -> unit
      method set_t1_opaque_mode : bool -> unit
      method set_top : int -> int -> unit
      method structure_changed : Gdome.element -> unit
      method thaw : unit
      method unload : unit
      method unselect : Gdome.element -> unit
    end
  val multi_selection_math_view :
    ?hadjustment:GData.adjustment ->
    ?vadjustment:GData.adjustment ->
    ?font_size:int ->
    ?log_verbosity:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) ->
    ?show:bool -> unit -> GMathViewAux.multi_selection_math_view
end