sig
exception ErrorLoadingFile of string
exception ErrorWritingFile of string
exception ErrorLoadingDOM
class math_view_signals :
([> `gtk | `mathview_gmetadom | `widget ] as 'b) Gtk.obj ->
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
end
class math_view_skel :
Gtk_mathview.math_view Gtk.obj ->
object
val obj : Gtk_mathview.math_view Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method attribute_changed :
Gdome.element -> name:Gdome.domString -> unit
method coerce : GObj.widget
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_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_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
class math_view :
Gtk_mathview.math_view Gtk.obj ->
object
val obj : Gtk_mathview.math_view Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method attribute_changed :
Gdome.element -> name:Gdome.domString -> unit
method coerce : GObj.widget
method connect : GMathView.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_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_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 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 -> GMathView.math_view
val add_configuration_path : string -> unit
end