Class GWindow.window_skel

class window_skel : [> Gtk.window ] Gtk.obj -> object .. end

• GContainer.bin

val obj : ([> Gtk.window ] as 'a) Gtk.obj

method activate_default : unit -> bool

method activate_focus : unit -> bool

method add_accel_group : Gtk.accel_group -> unit

method as_window : Gtk.window Gtk.obj

method deiconify : unit -> unit

method event : GObj.event_ops

method iconify : unit -> unit

method move : x:int -> y:int -> unit

method parse_geometry : string -> bool

method present : unit -> unit

method resize : width:int -> height:int -> unit

method show : unit -> unit

method set_accept_focus : bool -> unit

method set_allow_grow : bool -> unit

method set_allow_shrink : bool -> unit

method set_decorated : bool -> unit

method set_default_height : int -> unit

method set_default_size : width:int -> height:int -> unit

method set_default_width : int -> unit

method set_deletable : bool -> unit

method set_destroy_with_parent : bool -> unit

method set_focus_on_map : bool -> unit

method set_geometry_hints : ?min_size:int * int ->
       ?max_size:int * int ->
       ?base_size:int * int ->
       ?aspect:float * float ->
       ?resize_inc:int * int ->
       ?win_gravity:Gdk.Tags.gravity ->
       ?pos:bool -> ?user_pos:bool -> ?user_size:bool -> GObj.widget -> unit

method set_gravity : Gdk.Tags.gravity -> unit

method set_icon : GdkPixbuf.pixbuf option -> unit

method set_icon_name : string -> unit

method set_modal : bool -> unit

method set_opacity : float -> unit

method set_position : Gtk.Tags.window_position -> unit

method set_resizable : bool -> unit

method set_role : string -> unit

method set_screen : Gdk.screen -> unit

method set_skip_pager_hint : bool -> unit

method set_skip_taskbar_hint : bool -> unit

method set_title : string -> unit

method set_transient_for : Gtk.window Gtk.obj -> unit

method set_type_hint : Gdk.Tags.window_type_hint -> unit

method set_wm_class : string -> unit

method set_wm_name : string -> unit

method accept_focus : bool

method allow_grow : bool

method allow_shrink : bool

method decorated : bool

method default_height : int

method default_width : int

method deletable : bool

method destroy_with_parent : bool

method focus_on_map : bool

method gravity : GdkEnums.gravity

method has_toplevel_focus : bool

method icon : GdkPixbuf.pixbuf option

method icon_name : string

method is_active : bool

method kind : Gtk.Tags.window_type

method modal : bool

method opacity : float

method position : Gtk.Tags.window_position

method resizable : bool

method role : string

method screen : Gdk.screen

method skip_pager_hint : bool

method skip_taskbar_hint : bool

method title : string

method type_hint : Gdk.Tags.window_type_hint

method set_urgency_hint : bool -> unit

method urgency_hint : bool