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