Class OgtkBaseProps.window_props

val virtual obj : [> `window ] Gobject.obj
method set_title : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> string -> unit
method set_accept_focus : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool -> unit
method set_decorated : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool -> unit
method set_default_height : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> int -> unit
method set_default_width : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> int -> unit
method set_deletable : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool -> unit
method set_destroy_with_parent : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool -> unit
method set_focus_on_map : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool -> unit
method set_gravity : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> GdkEnums.gravity -> unit
method set_icon : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> GdkPixbuf.pixbuf option -> unit
method set_icon_name : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> string -> unit
method set_modal : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool -> unit
method set_position : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> GtkEnums.window_position -> unit
method set_opacity : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> float -> unit
method set_resizable : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool -> unit
method set_role : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> string -> unit
method set_screen : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> Gdk.screen -> unit
method set_skip_pager_hint : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool -> unit
method set_skip_taskbar_hint : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool -> unit
method set_type_hint : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> GdkEnums.window_type_hint -> unit
method set_urgency_hint : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool -> unit
method title : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> string
method accept_focus : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool
method decorated : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool
method default_height : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> int
method default_width : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> int
method deletable : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool
method destroy_with_parent : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool
method focus_on_map : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool
method gravity : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> GdkEnums.gravity
method has_toplevel_focus : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool
method icon : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> GdkPixbuf.pixbuf option
method icon_name : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> string
method is_active : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool
method modal : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool
method position : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> GtkEnums.window_position
method opacity : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> float
method resizable : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool
method role : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> string
method screen : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> Gdk.screen
method skip_pager_hint : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool
method skip_taskbar_hint : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool
method kind : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> GtkEnums.window_type
method type_hint : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> GdkEnums.window_type_hint
method urgency_hint : < accept_focus : bool; decorated : bool; default_height : int; default_width : int; deletable : bool; destroy_with_parent : bool; focus_on_map : bool; gravity : GdkEnums.gravity; has_toplevel_focus : bool; icon : GdkPixbuf.pixbuf option; icon_name : string; is_active : bool; kind : GtkEnums.window_type; modal : bool; opacity : float; position : GtkEnums.window_position; resizable : bool; role : string; screen : Gdk.screen; set_accept_focus : bool -> unit; set_decorated : bool -> unit; set_default_height : int -> unit; set_default_width : int -> unit; set_deletable : bool -> unit; set_destroy_with_parent : bool -> unit; set_focus_on_map : bool -> unit; set_gravity : GdkEnums.gravity -> unit; set_icon : GdkPixbuf.pixbuf option -> unit; set_icon_name : string -> unit; set_modal : bool -> unit; set_opacity : float -> unit; set_position : GtkEnums.window_position -> unit; set_resizable : bool -> unit; set_role : string -> unit; set_screen : Gdk.screen -> unit; set_skip_pager_hint : bool -> unit; set_skip_taskbar_hint : bool -> unit; set_title : string -> unit; set_type_hint : GdkEnums.window_type_hint -> unit; set_urgency_hint : bool -> unit; skip_pager_hint : bool; skip_taskbar_hint : bool; title : string; type_hint : GdkEnums.window_type_hint; urgency_hint : bool; .. > -> bool