object
  method add_global_filter :
    text:string ->
    key:string ->
    (Cil_types.global -> bool) -> (unit -> bool) * GMenu.check_menu_item
  method add_select_function :
    (was_activated:bool -> activating:bool -> Filetree.filetree_node -> unit) ->
    unit
  method append_pixbuf_column :
    title:string ->
    (Cil_types.global list -> GTree.cell_properties_pixbuf list) ->
    (unit -> bool) -> [ `Contents | `Visibility ] -> unit
  method append_text_column :
    title:string ->
    tooltip:string ->
    visible:(unit -> bool) ->
    text:(Cil_types.global -> string) ->
    ?sort:(Cil_types.global -> Cil_types.global -> int) ->
    [ `Contents | `Visibility ] -> unit
  method find_visible_global : string -> Cil_types.global option
  method flat_mode : bool
  method get_file_globals : string -> (string * bool) list
  method model : GTree.model
  method refresh_columns : unit -> unit
  method register_reset_extension : (Filetree.t -> unit) -> unit
  method reset : unit -> unit
  method select_global : Cil_types.global -> bool
  method selected_globals : Cil_types.global list
  method set_file_attribute :
    ?strikethrough:bool -> ?text:string -> string -> unit
  method set_global_attribute :
    ?strikethrough:bool -> ?text:string -> Cil_types.varinfo -> unit
  method view : GTree.view
end