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