not any untrusted string from the guest; usually we pass the
name of the guest from libvirt here. *)
+ method oses : Slave_types.inspection_os list
+ (** If operating system root(s) are currently loaded into the
+ filetree widget, this returns a list of them. If none are
+ loaded (empty, or could be just a pile of filesystems), then this
+ returns an empty list. *)
+
method get_pathname : Gtk.tree_iter -> Slave_types.source * string
(** Use [get_pathname row] on a [row] representing a file or
directory. It searches back up the tree to get the source
Don't use this on registry entries. Use {!get_registry_path}
instead. *)
+ method get_direntry : Gtk.tree_iter -> Slave_types.direntry
+ (** [get_direntry row] returns the file and stat information for a
+ file or directory. *)
+
method get_registry_path : Gtk.tree_iter -> registry_t * string list
(** Use [get_registry_path row] on a [row] representing a registry
entry. It searches back up the tree and returns a tuple
the code split into small modules, with the filetree widget
just emitting signals when some action needs to take place.
- All the components are wired together in the {!Window}
+ All the components are wired together in the {!Main}
module. *)
method after : 'a
callback:(Gtk.tree_path -> unit) -> GtkSignal.id
method op_file_information :
callback:(Gtk.tree_path -> unit) -> GtkSignal.id
+ method op_file_properties :
+ callback:(Gtk.tree_path -> unit) -> GtkSignal.id
method op_inspection_dialog :
callback:(Slave_types.inspection_os -> unit) -> GtkSignal.id
method op_view_file :