[> Gtk.dialog ] Gtk.obj ->
object
val obj : [> Gtk.dialog ] Gtk.obj
method accept_focus : bool
method action_area : GPack.button_box
method activate_default : unit -> bool
method activate_focus : unit -> bool
method add : GObj.widget -> unit
method add_accel_group : Gtk.accel_group -> unit
method add_button : string -> ([> `DELETE_EVENT ] as 'a) -> unit
method add_button_stock : GtkStock.id -> 'a -> unit
method all_children : GObj.widget list
method allow_grow : bool
method allow_shrink : bool
method as_widget : Gtk.widget Gtk.obj
method as_window : Gtk.window Gtk.obj
method border_width : int
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method connect : 'a GWindow.dialog_signals
method private decode : int -> 'a
method decorated : bool
method default_height : int
method default_width : int
method deiconify : unit -> unit
method deletable : bool
method destroy : unit -> unit
method destroy_with_parent : bool
method drag : GObj.drag_ops
method private encode : 'a -> int
method event : GObj.event_ops
method focus : GContainer.focus
method focus_on_map : bool
method get_oid : int
method gravity : GdkEnums.gravity
method has_separator : bool
method has_toplevel_focus : bool
method icon : GdkPixbuf.pixbuf option
method icon_name : string
method iconify : unit -> unit
method is_active : bool
method kind : Gtk.Tags.window_type
method misc : GObj.misc_ops
method modal : bool
method move : x:int -> y:int -> unit
method opacity : float
method parse_geometry : string -> bool
method position : Gtk.Tags.window_position
method present : unit -> unit
method remove : GObj.widget -> unit
method resizable : bool
method resize : width:int -> height:int -> unit
method resize_mode : Gtk.Tags.resize_mode
method response : 'a -> unit
method role : string
method run : unit -> 'a
method screen : Gdk.screen
method set_accept_focus : bool -> unit
method set_allow_grow : bool -> unit
method set_allow_shrink : bool -> unit
method set_border_width : int -> unit
method set_decorated : bool -> unit
method set_default_height : int -> unit
method set_default_response : 'a -> 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_has_separator : bool -> 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_resize_mode : Gtk.Tags.resize_mode -> unit
method set_response_sensitive : 'a -> 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_urgency_hint : bool -> unit
method set_wm_class : string -> unit
method set_wm_name : string -> unit
method show : unit -> unit
method skip_pager_hint : bool
method skip_taskbar_hint : bool
method title : string
method type_hint : Gdk.Tags.window_type_hint
method urgency_hint : bool
method vbox : GPack.box
end