* For details, send a mail to the authors.
*)
+(** {1 Main interface to LablGtkMathView} *)
+
exception ErrorLoadingFile of string
exception ErrorWritingFile of string
exception ErrorLoadingDOM
+(** {2 Standard classes} *)
+
+(** Signals emitted by GtkMathView widgets *)
class math_view_signals :
([> `gtk | `mathview_gmetadom | `widget] as 'b) Gtk.obj ->
object ('a)
callback:(unit -> unit) -> GtkSignal.id
end
+(** GtkMathView core methods *)
class math_view_skel :
(Gtk_mathview.math_view Gtk.obj as 'a)->
object
method unselect : Gdome.element -> unit
end
+(** GtkMathView standard class *)
class math_view :
Gtk_mathview.math_view Gtk.obj ->
object
method connect : math_view_signals
end
+(** {2 Constructors} *)
+
+(** math_view constructor *)
val math_view :
?hadjustment:GData.adjustment ->
?vadjustment:GData.adjustment ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> math_view
-(** {2 Global configuration for all math_view instances *)
+(** {2 Global configuration for all math_view instances} *)
(** @param fname file name to be added to the list of configuration files read
* at initialization time.