sig
class type t =
object
method add_select_function :
(was_activated:bool ->
activating:bool -> Cil_types.global list -> unit) ->
unit
method append_pixbuf_column :
title:string ->
(Cil_types.global list -> GTree.cell_properties_pixbuf list) -> unit
method model : GTree.model_filter
method reset : unit -> unit
method reset_dynamic_columns :
(GTree.view -> Cil_types.global list GTree.column -> unit) list ->
unit
method select_global : Cil_types.varinfo -> unit
method set_file_attribute :
?strikethrough:bool ->
?visible:bool -> ?text:string -> string -> unit
method set_global_attribute :
?strikethrough:bool ->
?visible:bool -> ?text:string -> Cil_types.varinfo -> unit
method view : GTree.view
end
val make : GTree.view -> Filetree.t
end