object   method delete : unit -> unit   method update : unit -> unit   method widget : GObj.widget end