-(* Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
+(* Copyright (C) 2000-2003, Luca Padovani <luca.padovani@cs.unibo.it>,
+ * Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>.
*
* This file is part of lablgtkmathview, the Ocaml binding
* for the GtkMathView widget.
*
* This file is part of lablgtkmathview, the Ocaml binding
* for the GtkMathView widget.
exception ErrorLoadingFile of string
exception ErrorWritingFile of string
exception ErrorLoadingDOM
exception ErrorLoadingFile of string
exception ErrorWritingFile of string
exception ErrorLoadingDOM
method get_hadjustment : GData.adjustment
method get_height : int
method get_log_verbosity : int
method get_top : int * int
method get_hadjustment : GData.adjustment
method get_height : int
method get_log_verbosity : int
method get_top : int * int
method get_vadjustment : GData.adjustment
method get_width : int
method load_uri : filename:string -> unit
method load_doc : dom:Gdome.document -> unit
method set_adjustments : GData.adjustment -> GData.adjustment -> unit
method get_vadjustment : GData.adjustment
method get_width : int
method load_uri : filename:string -> unit
method load_doc : dom:Gdome.document -> unit
method set_adjustments : GData.adjustment -> GData.adjustment -> unit
method set_font_size : int -> unit
method set_log_verbosity : int -> unit
method select : Gdome.element -> unit
method unselect : Gdome.element -> unit
method set_font_size : int -> unit
method set_log_verbosity : int -> unit
method select : Gdome.element -> unit
method unselect : Gdome.element -> unit