method open_disk_signal : callback:(unit -> unit) -> GtkSignal.id
method reopen_signal : callback:(unit -> unit) -> GtkSignal.id
method inspection_signal : callback:(unit -> unit) -> GtkSignal.id
method open_disk_signal : callback:(unit -> unit) -> GtkSignal.id
method reopen_signal : callback:(unit -> unit) -> GtkSignal.id
method inspection_signal : callback:(unit -> unit) -> GtkSignal.id