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