Class GuiList.pane

class pane : GuiConfig.provers -> object .. end

method coerce : GObj.widget
method reload : unit
method add : Wpo.S.t -> unit
method size : int
method index : Wpo.S.t -> int
method get : int -> Wpo.S.t
method update_all : unit
method update : Wpo.S.t -> unit
val mutable provers : (VCS.prover * GTree.view_column) list
method private prover_of_column : GTree.view_column -> VCS.prover option
method private column_of_prover : VCS.prover -> GTree.view_column option
method private create_prover : VCS.prover -> unit
method private configure : ProverWhy3.dp list -> unit
method private on_cell : (Wpo.S.t -> VCS.prover option -> unit) ->
Wpo.S.t -> GTree.view_column -> unit
method on_click : (Wpo.S.t -> VCS.prover option -> unit) -> unit
method on_double_click : (Wpo.S.t -> VCS.prover option -> unit) -> unit
method on_right_click : (Wpo.S.t -> VCS.prover option -> unit) -> unit
method on_selection : (int -> unit) -> unit
method iter_selected : (Wpo.S.t -> unit) -> unit
method count_selected : int
method show : Wpo.S.t -> unit