Window.Pval title : ([> `window ], string) Gobject.propertyval accept_focus : ([> `window ], bool) Gobject.propertyval decorated : ([> `window ], bool) Gobject.propertyval default_height : ([> `window ], int) Gobject.propertyval default_width : ([> `window ], int) Gobject.propertyval deletable : ([> `window ], bool) Gobject.propertyval destroy_with_parent : ([> `window ], bool) Gobject.propertyval focus_on_map : ([> `window ], bool) Gobject.propertyval gravity : ([> `window ], GdkEnums.gravity) Gobject.propertyval has_toplevel_focus : ([> `window ], bool) Gobject.propertyval icon : ([> `window ], GdkPixbuf.pixbuf option) Gobject.propertyval icon_name : ([> `window ], string) Gobject.propertyval is_active : ([> `window ], bool) Gobject.propertyval modal : ([> `window ], bool) Gobject.propertyval window_position : ([> `window ], GtkEnums.window_position) Gobject.propertyval opacity : ([> `window ], float) Gobject.propertyval resizable : ([> `window ], bool) Gobject.propertyval role : ([> `window ], string) Gobject.propertyval screen : ([> `window ], Gdk.screen) Gobject.propertyval skip_pager_hint : ([> `window ], bool) Gobject.propertyval skip_taskbar_hint : ([> `window ], bool) Gobject.propertyval startup_id : ([> `window ], string) Gobject.propertyval transient_for : ([> `window ], Gtk.window Gtk.obj option) Gobject.propertyval kind : ([> `window ], GtkEnums.window_type) Gobject.propertyval type_hint : ([> `window ], GdkEnums.window_type_hint) Gobject.propertyval urgency_hint : ([> `window ], bool) Gobject.property