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 about_signal : callback:(unit -> unit) -> GtkSignal.id
method failure : exn -> unit
(** This is the global error handling function. It is invoked in