sig
val cast : 'a Gobject.obj -> Gtk.window Gtk.obj
module P :
sig
val title : ([> `window ], string) Gobject.property
val accept_focus : ([> `window ], bool) Gobject.property
val allow_grow : ([> `window ], bool) Gobject.property
val allow_shrink : ([> `window ], bool) Gobject.property
val decorated : ([> `window ], bool) Gobject.property
val default_height : ([> `window ], int) Gobject.property
val default_width : ([> `window ], int) Gobject.property
val deletable : ([> `window ], bool) Gobject.property
val destroy_with_parent : ([> `window ], bool) Gobject.property
val focus_on_map : ([> `window ], bool) Gobject.property
val gravity : ([> `window ], GdkEnums.gravity) Gobject.property
val has_toplevel_focus : ([> `window ], bool) Gobject.property
val icon : ([> `window ], GdkPixbuf.pixbuf option) Gobject.property
val icon_name : ([> `window ], string) Gobject.property
val is_active : ([> `window ], bool) Gobject.property
val modal : ([> `window ], bool) Gobject.property
val window_position :
([> `window ], GtkEnums.window_position) Gobject.property
val opacity : ([> `window ], float) Gobject.property
val resizable : ([> `window ], bool) Gobject.property
val role : ([> `window ], string) Gobject.property
val screen : ([> `window ], Gdk.screen) Gobject.property
val skip_pager_hint : ([> `window ], bool) Gobject.property
val skip_taskbar_hint : ([> `window ], bool) Gobject.property
val startup_id : ([> `window ], string) Gobject.property
val transient_for :
([> `window ], Gtk.window Gtk.obj option) Gobject.property
val kind : ([> `window ], GtkEnums.window_type) Gobject.property
val type_hint :
([> `window ], GdkEnums.window_type_hint) Gobject.property
val urgency_hint : ([> `window ], bool) Gobject.property
end
module S :
sig
val activate_default : ([> `window ], unit -> unit) GtkSignal.t
val activate_focus : ([> `window ], unit -> unit) GtkSignal.t
val frame_event : ([> `window ], GdkEvent.any -> unit) GtkSignal.t
val keys_changed : ([> `window ], unit -> unit) GtkSignal.t
val move_focus :
([> `window ], GtkEnums.direction_type -> unit) GtkSignal.t
val set_focus :
([> `window ], Gtk.widget Gtk.obj option -> unit) GtkSignal.t
end
val create :
?kind:GtkEnums.window_type ->
Gtk.window Gobject.param list -> Gtk.window Gtk.obj
external present : [> `window ] Gtk.obj -> unit = "ml_gtk_window_present"
external iconify : [> `window ] Gtk.obj -> unit = "ml_gtk_window_iconify"
external deiconify : [> `window ] Gtk.obj -> unit
= "ml_gtk_window_deiconify"
external stick : [> `window ] Gtk.obj -> unit = "ml_gtk_window_stick"
external unstick : [> `window ] Gtk.obj -> unit = "ml_gtk_window_unstick"
external maximize : [> `window ] Gtk.obj -> unit = "ml_gtk_window_maximize"
external unmaximize : [> `window ] Gtk.obj -> unit
= "ml_gtk_window_unmaximize"
external fullscreen : [> `window ] Gtk.obj -> unit
= "ml_gtk_window_fullscreen"
external unfullscreen : [> `window ] Gtk.obj -> unit
= "ml_gtk_window_unfullscreen"
external set_decorated : [> `window ] Gtk.obj -> bool -> unit
= "ml_gtk_window_set_decorated"
external set_mnemonic_modifier :
[> `window ] Gtk.obj -> Gdk.Tags.modifier list -> unit
= "ml_gtk_window_set_mnemonic_modifier"
external move : [> `window ] Gtk.obj -> x:int -> y:int -> unit
= "ml_gtk_window_move"
external parse_geometry : [> `window ] Gtk.obj -> string -> bool
= "ml_gtk_window_parse_geometry"
external reshow_with_initial_size : [> `window ] Gtk.obj -> unit
= "ml_gtk_window_reshow_with_initial_size"
external resize : [> `window ] Gtk.obj -> width:int -> height:int -> unit
= "ml_gtk_window_resize"
external set_role : [> `window ] Gtk.obj -> string -> unit
= "ml_gtk_window_set_role"
external get_role : [> `window ] Gtk.obj -> string
= "ml_gtk_window_get_role"
val make_params :
cont:(([> `window ] as 'a) Gobject.param list -> 'b) ->
'a Gobject.param list ->
?title:string ->
?allow_grow:bool ->
?allow_shrink:bool ->
?decorated:bool ->
?deletable:bool ->
?focus_on_map:bool ->
?icon:GdkPixbuf.pixbuf ->
?icon_name:string ->
?modal:bool ->
?position:GtkEnums.window_position ->
?resizable:bool ->
?screen:Gdk.screen ->
?type_hint:GdkEnums.window_type_hint -> ?urgency_hint:bool -> 'b
end