exception ErrorLoadingFile of string
exception ErrorWritingFile of string
exception ErrorLoadingDOM
exception ErrorLoadingFile of string
exception ErrorWritingFile of string
exception ErrorLoadingDOM
method get_drawing_area : GMisc.drawing_area
method get_hadjustment : GData.adjustment
method get_height : int
method get_log_verbosity : int
method get_top : int * int
method get_drawing_area : GMisc.drawing_area
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 set_font_size : int -> unit
method set_log_verbosity : int -> unit
method select : Gdome.element -> unit
method get_element_at : int -> int -> Gdome.element option
method is_selected : Gdome.element -> bool
method set_top : int -> int -> unit
method get_element_at : int -> int -> Gdome.element option
method is_selected : Gdome.element -> bool
method set_top : int -> int -> unit