Tactical.t ->
(Format.formatter -> Tactical.selection -> unit) ->
object
method clear : unit
method clear_action : unit
method coerce : GObj.widget
method get_title : string
method has_action : bool
method has_error : bool
method interactive : bool
method is_active : bool
method on_active : (bool -> unit) -> unit
method pool : Lang.F.pool
method select :
process:(Tactical.tactical ->
Tactical.selection -> Tactical.process -> unit) ->
browser:(GuiTactic.browser -> unit) ->
composer:(GuiTactic.composer -> unit) ->
tree:ProofEngine.tree -> Tactical.selection -> unit
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_descr : 'a Tactical.formatter
method set_enabled : bool -> unit
method set_error : 'a Tactical.formatter
method set_label : string -> unit
method set_status : Widget.icon -> unit
method set_title : 'a Tactical.formatter
method set_tooltip : string -> unit
method set_visible : bool -> unit
method targeted : bool
method tool : Wpalette.tool
method update_field :
?enabled:bool ->
?title:string ->
?tooltip:string ->
?range:bool ->
?vmin:int ->
?vmax:int -> ?filter:(Lang.F.term -> bool) -> 'a Tactical.field -> unit
method widget : Widget.widget
end