class behavior : main:Design.main_window_extension_points -> filter:filter Toolbox.selector -> next:Toolbox.button -> prev:Toolbox.button -> index:Toolbox.button -> clear:Toolbox.button -> card:card Toolbox.selector -> list:GuiList.pane -> goal:GuiGoal.pane -> source:GuiSource.highlighter -> popup:GuiSource.popup ->
object
.. end
val mutable focus : focus
val mutable currentgoal : Wpo.t option
method update : unit -> unit
method reload : unit -> unit
method private set_focus : focus -> unit
method private set_filter : filter -> unit
method private set_selection : GuiSource.selection -> unit
method private details : unit
method private navigator : bool -> Wpo.t option -> unit
method private next : unit -> unit
method private prev : unit -> unit
method private move : (int -> int) -> unit
method private prove : ?mode:VCS.mode -> Wpo.t -> VCS.prover -> unit
method private clear : unit -> unit
: Toolbox.popup
: Toolbox.popup
: Toolbox.popup
: Toolbox.popup
: (Wpo.t * VCS.prover option) option
: unit -> unit
: VCS.mode -> unit -> unit
: unit -> unit
: Toolbox.popup -> (string * VCS.mode) list -> unit
: Wpo.t -> VCS.prover option -> unit