([> `window ] as 'a) Gobject.obj ->
object
val obj : 'a Gobject.obj
method accept_focus : callback:(bool -> unit) -> GtkSignal.id
method allow_grow : callback:(bool -> unit) -> GtkSignal.id
method allow_shrink : callback:(bool -> unit) -> GtkSignal.id
method decorated : callback:(bool -> unit) -> GtkSignal.id
method default_height : callback:(int -> unit) -> GtkSignal.id
method default_width : callback:(int -> unit) -> GtkSignal.id
method deletable : callback:(bool -> unit) -> GtkSignal.id
method destroy_with_parent : callback:(bool -> unit) -> GtkSignal.id
method focus_on_map : callback:(bool -> unit) -> GtkSignal.id
method gravity : callback:(GdkEnums.gravity -> unit) -> GtkSignal.id
method has_toplevel_focus : callback:(bool -> unit) -> GtkSignal.id
method icon : callback:(GdkPixbuf.pixbuf option -> unit) -> GtkSignal.id
method icon_name : callback:(string -> unit) -> GtkSignal.id
method is_active : callback:(bool -> unit) -> GtkSignal.id
method kind : callback:(GtkEnums.window_type -> unit) -> GtkSignal.id
method modal : callback:(bool -> unit) -> GtkSignal.id
method private notify :
'b. ('a, 'b) Gobject.property -> callback:('b -> unit) -> GtkSignal.id
method opacity : callback:(float -> unit) -> GtkSignal.id
method position :
callback:(GtkEnums.window_position -> unit) -> GtkSignal.id
method resizable : callback:(bool -> unit) -> GtkSignal.id
method role : callback:(string -> unit) -> GtkSignal.id
method screen : callback:(Gdk.screen -> unit) -> GtkSignal.id
method skip_pager_hint : callback:(bool -> unit) -> GtkSignal.id
method skip_taskbar_hint : callback:(bool -> unit) -> GtkSignal.id
method title : callback:(string -> unit) -> GtkSignal.id
method type_hint :
callback:(GdkEnums.window_type_hint -> unit) -> GtkSignal.id
method urgency_hint : callback:(bool -> unit) -> GtkSignal.id
end