Class GuiList.pane

method show : Wp.Wpo.t -> unit
method on_click : ( Wp.Wpo.t -> Wp.VCS.prover option -> unit ) -> unit
method on_right_click : ( Wp.Wpo.t -> Wp.VCS.prover option -> unit ) -> unit
method on_double_click : ( Wp.Wpo.t -> Wp.VCS.prover option -> unit ) -> unit
method reload : unit
method update : Wp.Wpo.t -> unit
method update_all : unit
method count_selected : int
method on_selection : ( int -> unit ) -> unit
method iter_selected : ( Wp.Wpo.t -> unit ) -> unit
method add : Wp.Wpo.t -> unit
method size : int
method index : Wp.Wpo.t -> int
method get : int -> Wp.Wpo.t
method coerce : GObj.widget