sig
val no_status : Widget.icon
val ok_status : Widget.icon
val ko_status : Widget.icon
val go_status : Widget.icon
val filter : VCS.prover -> bool
class prover :
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
end