exception ErrorLoadingFile of string
exception ErrorWritingFile of string
exception ErrorLoadingDOM
exception ErrorLoadingFile of string
exception ErrorWritingFile of string
exception ErrorLoadingDOM
- method get_frame : GBin.frame
- method get_hadjustment : GData.adjustment
- method get_height : int
+ method get_adjustments : GData.adjustment * GData.adjustment
+ method get_size : int * int
method select : Gdome.element -> unit
method unselect : 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 select : Gdome.element -> unit
method unselect : Gdome.element -> unit
method get_element_at : int -> int -> Gdome.element option
method is_selected : Gdome.element -> bool
method set_top : int -> int -> unit