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 update : Wp.Wpo.t -> unit
method iter_selected : ( Wp.Wpo.t -> unit ) -> unit
method add : Wp.Wpo.t -> unit
method index : Wp.Wpo.t -> int
method get : int -> Wp.Wpo.t