- method get_drawing_area : GMisc.drawing_area
- method get_hadjustment : GData.adjustment
- method get_height : int
+ method get_adjustments : GData.adjustment * GData.adjustment
+ method get_size : int * int
method load_uri : filename:string -> unit
method load_root : root:Gdome.element -> unit
method set_adjustments : GData.adjustment -> GData.adjustment -> unit
method load_uri : filename:string -> unit
method load_root : root:Gdome.element -> unit
method set_adjustments : GData.adjustment -> GData.adjustment -> unit