entry
method widget : GObj.widget
Returns the widget
method update : unit -> unit
On array request
method delete : unit -> unit
When removed
Frama-C