- method structure_changed : Gdome.element -> unit
- method attribute_changed : Gdome.element -> name:Gdome.domString -> unit
- method get_bounding_box : int * 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