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 : 'b 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