console:Wtext.text ->
prover:VCS.prover ->
object
  method clear : unit
  method clear_action : unit
  method coerce : GObj.widget
  method has_action : bool
  method is_active : bool
  method on_active : (bool -> unit) -> unit
  method prover : VCS.prover
  method set_action :
    ?icon:Widget.icon ->
    ?tooltip:string -> ?callback:(unit -> unit) -> unit -> unit
  method set_active : bool -> unit
  method set_content : Widget.widget -> unit
  method set_enabled : bool -> unit
  method set_label : string -> unit
  method set_status : Widget.icon -> unit
  method set_tooltip : string -> unit
  method set_visible : bool -> unit
  method tool : Wpalette.tool
  method update : Wpo.t -> unit
  method widget : Widget.widget
end