+object ('a)
+ method after : 'a
+ method disconnect : GtkSignal.id -> unit
+
+ (** Signals that can be emitted by window menu items. *)
+ method connect_kvm_signal : callback:(unit -> unit) -> GtkSignal.id
+ method connect_xen_signal : callback:(unit -> unit) -> GtkSignal.id
+ method connect_none_signal : callback:(unit -> unit) -> GtkSignal.id
+ method connect_uri_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
+ method about_signal : callback:(unit -> unit) -> GtkSignal.id
+