sig
  class window_skel :
    ([> Gtk.window ] as 'a) Gtk.obj ->
    object
      val obj : 'Gtk.obj
      method accept_focus : bool
      method activate_default : unit -> bool
      method activate_focus : unit -> bool
      method add : GObj.widget -> unit
      method add_accel_group : Gtk.accel_group -> unit
      method all_children : GObj.widget list
      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 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 event : GObj.event_ops
      method focus : GContainer.focus
      method focus_on_map : bool
      method get_oid : int
      method gravity : GdkEnums.gravity
      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 role : string
      method screen : Gdk.screen
      method set_accept_focus : bool -> unit
      method set_border_width : int -> 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_resize_mode : Gtk.Tags.resize_mode -> 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_wmclass : name:string -> clas: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
    end
  class window :
    ([> Gtk.window ] as 'a) Gtk.obj ->
    object
      val obj : 'Gtk.obj
      method accept_focus : bool
      method activate_default : unit -> bool
      method activate_focus : unit -> bool
      method add : GObj.widget -> unit
      method add_accel_group : Gtk.accel_group -> unit
      method all_children : GObj.widget list
      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 : GContainer.container_signals
      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 event : GObj.event_ops
      method focus : GContainer.focus
      method focus_on_map : bool
      method fullscreen : unit -> unit
      method get_oid : int
      method gravity : GdkEnums.gravity
      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 maximize : unit -> unit
      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 role : string
      method screen : Gdk.screen
      method set_accept_focus : bool -> unit
      method set_border_width : int -> 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_resize_mode : Gtk.Tags.resize_mode -> 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_wmclass : name:string -> clas:string -> unit
      method show : unit -> unit
      method skip_pager_hint : bool
      method skip_taskbar_hint : bool
      method stick : unit -> unit
      method title : string
      method type_hint : Gdk.Tags.window_type_hint
      method unfullscreen : unit -> unit
      method unmaximize : unit -> unit
      method unstick : unit -> unit
      method urgency_hint : bool
    end
  val window :
    ?kind:Gtk.Tags.window_type ->
    ?title:string ->
    ?decorated:bool ->
    ?deletable:bool ->
    ?focus_on_map:bool ->
    ?icon:GdkPixbuf.pixbuf ->
    ?icon_name:string ->
    ?modal:bool ->
    ?position:Gtk.Tags.window_position ->
    ?resizable:bool ->
    ?screen:Gdk.screen ->
    ?type_hint:Gdk.Tags.window_type_hint ->
    ?urgency_hint:bool ->
    ?wmclass:string * string ->
    ?border_width:int ->
    ?width:int -> ?height:int -> ?show:bool -> unit -> GWindow.window
  val toplevel : #GObj.widget -> GWindow.window option
  class ['a] dialog_signals :
    ([> Gtk.dialog ] as 'b) Gtk.obj ->
    decode:(int -> 'a) ->
    object ('c)
      val obj : 'Gtk.obj
      method add : callback:(GObj.widget -> unit) -> GtkSignal.id
      method after : 'c
      method close : callback:(unit -> unit) -> GtkSignal.id
      method destroy : callback:(unit -> unit) -> GtkSignal.id
      method notify_border_width : callback:(int -> unit) -> GtkSignal.id
      method notify_resize_mode :
        callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
      method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
      method response : callback:('-> unit) -> GtkSignal.id
    end
  class ['a] dialog_skel :
    ([> Gtk.dialog ] as 'b) Gtk.obj ->
    object
      constraint 'a = [> `DELETE_EVENT ]
      val obj : '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 all_children : GObj.widget list
      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 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 : '-> 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 : '-> unit
      method role : string
      method run : unit -> 'a
      method screen : Gdk.screen
      method set_accept_focus : bool -> unit
      method set_border_width : int -> unit
      method set_decorated : bool -> unit
      method set_default_height : int -> unit
      method set_default_response : '-> 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 : '-> 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_wmclass : name:string -> clas: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
  class ['a] dialog_ext :
    ([> Gtk.dialog ] as 'b) Gtk.obj ->
    object
      constraint 'a = [> `DELETE_EVENT ]
      val obj : '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 -> '-> unit
      method add_button_stock : GtkStock.id -> '-> unit
      method all_children : GObj.widget list
      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 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 : '-> 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 : '-> unit
      method role : string
      method run : unit -> 'a
      method screen : Gdk.screen
      method set_accept_focus : bool -> unit
      method set_border_width : int -> unit
      method set_decorated : bool -> unit
      method set_default_height : int -> unit
      method set_default_response : '-> 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 : '-> 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_wmclass : name:string -> clas: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
  class ['a] dialog :
    [> Gtk.dialog ] Gtk.obj ->
    object
      constraint 'a = [> `DELETE_EVENT ]
      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 -> '-> unit
      method add_button_stock : GtkStock.id -> '-> unit
      method all_children : GObj.widget list
      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 : '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 : '-> 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 : '-> unit
      method role : string
      method run : unit -> 'a
      method screen : Gdk.screen
      method set_accept_focus : bool -> unit
      method set_border_width : int -> unit
      method set_decorated : bool -> unit
      method set_default_height : int -> unit
      method set_default_response : '-> 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 : '-> 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_wmclass : name:string -> clas: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
  val dialog :
    ?no_separator:bool ->
    ?parent:#GWindow.window_skel ->
    ?destroy_with_parent:bool ->
    ?title:string ->
    ?decorated:bool ->
    ?deletable:bool ->
    ?focus_on_map:bool ->
    ?icon:GdkPixbuf.pixbuf ->
    ?icon_name:string ->
    ?modal:bool ->
    ?position:Gtk.Tags.window_position ->
    ?resizable:bool ->
    ?screen:Gdk.screen ->
    ?type_hint:Gdk.Tags.window_type_hint ->
    ?urgency_hint:bool ->
    ?wmclass:string * string ->
    ?border_width:int ->
    ?width:int ->
    ?height:int -> ?show:bool -> unit -> [> `DELETE_EVENT ] GWindow.dialog
  type any_response =
      [ `ACCEPT
      | `APPLY
      | `CANCEL
      | `CLOSE
      | `DELETE_EVENT
      | `HELP
      | `NO
      | `NONE
      | `OK
      | `OTHER of int
      | `REJECT
      | `YES ]
  class dialog_any : [> Gtk.dialog ] Gtk.obj -> [GWindow.any_response] dialog
  type 'a buttons
  module Buttons :
    sig
      val ok : [> `OK ] GWindow.buttons
      val close : [> `CLOSE ] GWindow.buttons
      val yes_no : [> `NO | `YES ] GWindow.buttons
      val ok_cancel : [> `CANCEL | `OK ] GWindow.buttons
      type color_selection = [ `CANCEL | `DELETE_EVENT | `HELP | `OK ]
      type file_selection = [ `CANCEL | `DELETE_EVENT | `HELP | `OK ]
      type font_selection = [ `APPLY | `CANCEL | `DELETE_EVENT | `OK ]
      type about = [ `CANCEL | `CLOSE | `DELETE_EVENT ]
    end
  class type ['a] message_dialog =
    object
      constraint 'a = [> `DELETE_EVENT ]
      val obj : [> Gtk.message_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 all_children : GObj.widget list
      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 : '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 : '-> 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 message_type : Gtk.Tags.message_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 : '-> unit
      method role : string
      method run : unit -> 'a
      method screen : Gdk.screen
      method secondary_text : string
      method secondary_use_markup : bool
      method set_accept_focus : bool -> unit
      method set_border_width : int -> unit
      method set_decorated : bool -> unit
      method set_default_height : int -> unit
      method set_default_response : '-> 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_message_type : Gtk.Tags.message_type -> 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 : '-> bool -> unit
      method set_role : string -> unit
      method set_screen : Gdk.screen -> unit
      method set_secondary_text : string -> unit
      method set_secondary_use_markup : bool -> unit
      method set_skip_pager_hint : bool -> unit
      method set_skip_taskbar_hint : bool -> unit
      method set_text : string -> 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_use_markup : bool -> unit
      method set_wmclass : name:string -> clas:string -> unit
      method show : unit -> unit
      method skip_pager_hint : bool
      method skip_taskbar_hint : bool
      method text : string
      method title : string
      method type_hint : Gdk.Tags.window_type_hint
      method urgency_hint : bool
      method use_markup : bool
      method vbox : GPack.box
    end
  val message_dialog :
    buttons:([> `DELETE_EVENT ] as 'a) GWindow.buttons ->
    ?message_type:Gtk.Tags.message_type ->
    ?message:string ->
    ?use_markup:bool ->
    ?parent:#GWindow.window_skel ->
    ?destroy_with_parent:bool ->
    ?title:string ->
    ?decorated:bool ->
    ?deletable:bool ->
    ?focus_on_map:bool ->
    ?icon:GdkPixbuf.pixbuf ->
    ?icon_name:string ->
    ?modal:bool ->
    ?position:Gtk.Tags.window_position ->
    ?resizable:bool ->
    ?screen:Gdk.screen ->
    ?type_hint:Gdk.Tags.window_type_hint ->
    ?urgency_hint:bool ->
    ?wmclass:string * string ->
    ?border_width:int ->
    ?width:int ->
    ?height:int -> ?show:bool -> unit -> 'GWindow.message_dialog
  class about_dialog :
    ([> Gtk.about_dialog ] as 'a) Gtk.obj ->
    object
      val obj : '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 all_children : GObj.widget list
      method artists : string list
      method as_widget : Gtk.widget Gtk.obj
      method as_window : Gtk.window Gtk.obj
      method authors : string list
      method border_width : int
      method child : GObj.widget
      method children : GObj.widget list
      method coerce : GObj.widget
      method comments : string
      method connect : GWindow.Buttons.about GWindow.dialog_signals
      method copyright : string
      method private decode : int -> Buttons.about
      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 documenters : string list
      method drag : GObj.drag_ops
      method private encode : Buttons.about -> 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 license : string
      method logo : GdkPixbuf.pixbuf
      method logo_icon_name : string
      method misc : GObj.misc_ops
      method modal : bool
      method move : x:int -> y:int -> unit
      method name : string
      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 : Buttons.about -> unit
      method role : string
      method run : unit -> Buttons.about
      method screen : Gdk.screen
      method set_accept_focus : bool -> unit
      method set_artists : string list -> unit
      method set_authors : string list -> unit
      method set_border_width : int -> unit
      method set_comments : string -> unit
      method set_copyright : string -> unit
      method set_decorated : bool -> unit
      method set_default_height : int -> unit
      method set_default_response : Buttons.about -> 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_documenters : string list -> 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_license : string -> unit
      method set_logo : GdkPixbuf.pixbuf -> unit
      method set_logo_icon_name : string -> unit
      method set_modal : bool -> unit
      method set_name : string -> 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 : Buttons.about -> 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_translator_credits : string -> unit
      method set_type_hint : Gdk.Tags.window_type_hint -> unit
      method set_urgency_hint : bool -> unit
      method set_version : string -> unit
      method set_website : string -> unit
      method set_website_label : string -> unit
      method set_wmclass : name:string -> clas:string -> unit
      method set_wrap_license : bool -> unit
      method show : unit -> unit
      method skip_pager_hint : bool
      method skip_taskbar_hint : bool
      method title : string
      method translator_credits : string
      method type_hint : Gdk.Tags.window_type_hint
      method urgency_hint : bool
      method vbox : GPack.box
      method version : string
      method website : string
      method website_label : string
      method wrap_license : bool
    end
  val about_dialog :
    ?name:string ->
    ?authors:string list ->
    ?comments:string ->
    ?copyright:string ->
    ?license:string ->
    ?logo:GdkPixbuf.pixbuf ->
    ?logo_icon_name:string ->
    ?translator_credits:string ->
    ?version:string ->
    ?website:string ->
    ?website_label:string ->
    ?wrap_license:bool ->
    ?parent:#GWindow.window_skel ->
    ?destroy_with_parent:bool ->
    ?title:string ->
    ?decorated:bool ->
    ?deletable:bool ->
    ?focus_on_map:bool ->
    ?icon:GdkPixbuf.pixbuf ->
    ?icon_name:string ->
    ?modal:bool ->
    ?position:Gtk.Tags.window_position ->
    ?resizable:bool ->
    ?screen:Gdk.screen ->
    ?type_hint:Gdk.Tags.window_type_hint ->
    ?urgency_hint:bool ->
    ?wmclass:string * string ->
    ?border_width:int ->
    ?width:int -> ?height:int -> ?show:bool -> unit -> GWindow.about_dialog
  class ['a] file_chooser_dialog_signals :
    ([> `bin | `container | `dialog | `filechooser | `giu | `widget | `window ]
     as 'b)
    Gtk.obj ->
    decode:(int -> 'a) ->
    object ('c)
      val obj : 'Gtk.obj
      method add : callback:(GObj.widget -> unit) -> GtkSignal.id
      method after : 'c
      method close : callback:(unit -> unit) -> GtkSignal.id
      method confirm_overwrite :
        callback:(unit -> Gtk.Tags.file_chooser_confirmation) -> GtkSignal.id
      method current_folder_changed : callback:(unit -> unit) -> GtkSignal.id
      method destroy : callback:(unit -> unit) -> GtkSignal.id
      method file_activated : callback:(unit -> unit) -> GtkSignal.id
      method notify_action :
        callback:(Gtk.Tags.file_chooser_action -> unit) -> GtkSignal.id
      method notify_border_width : callback:(int -> unit) -> GtkSignal.id
      method notify_create_folders : callback:(bool -> unit) -> GtkSignal.id
      method notify_do_overwrite_confirmation :
        callback:(bool -> unit) -> GtkSignal.id
      method notify_extra_widget :
        callback:(GObj.widget -> unit) -> GtkSignal.id
      method notify_local_only : callback:(bool -> unit) -> GtkSignal.id
      method notify_preview_widget :
        callback:(GObj.widget -> unit) -> GtkSignal.id
      method notify_preview_widget_active :
        callback:(bool -> unit) -> GtkSignal.id
      method notify_resize_mode :
        callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
      method notify_select_multiple : callback:(bool -> unit) -> GtkSignal.id
      method notify_show_hidden : callback:(bool -> unit) -> GtkSignal.id
      method notify_use_preview_label :
        callback:(bool -> unit) -> GtkSignal.id
      method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
      method response : callback:('-> unit) -> GtkSignal.id
      method selection_changed : callback:(unit -> unit) -> GtkSignal.id
      method update_preview : callback:(unit -> unit) -> GtkSignal.id
    end
  class ['a] file_chooser_dialog :
    ([> `bin | `container | `dialog | `filechooser | `giu | `widget | `window ]
     as 'b)
    Gtk.obj ->
    object
      constraint 'a = [> `DELETE_EVENT ]
      val obj : 'Gtk.obj
      method accept_focus : bool
      method action : Gtk.Tags.file_chooser_action
      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 -> '-> unit
      method add_button_stock : GtkStock.id -> '-> unit
      method add_filter : GFile.filter -> unit
      method add_select_button : string -> '-> unit
      method add_select_button_stock : GtkStock.id -> '-> unit
      method add_shortcut_folder : string -> unit
      method add_shortcut_folder_uri : string -> unit
      method all_children : GObj.widget list
      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 : 'GWindow.file_chooser_dialog_signals
      method create_folders : bool
      method current_folder : string option
      method current_folder_uri : string
      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 do_overwrite_confirmation : bool
      method drag : GObj.drag_ops
      method private encode : '-> int
      method event : GObj.event_ops
      method extra_widget : GObj.widget
      method filename : string option
      method filter : GFile.filter
      method focus : GContainer.focus
      method focus_on_map : bool
      method get_filenames : string list
      method get_oid : int
      method get_uris : string list
      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 list_filters : GFile.filter list
      method list_shortcut_folder_uris : string list
      method list_shortcut_folders : string list
      method local_only : bool
      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 preview_filename : string option
      method preview_uri : string option
      method preview_widget : GObj.widget
      method preview_widget_active : bool
      method remove : GObj.widget -> unit
      method remove_filter : GFile.filter -> unit
      method remove_shortcut_folder : string -> unit
      method remove_shortcut_folder_uri : string -> unit
      method resizable : bool
      method resize : width:int -> height:int -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method response : '-> unit
      method role : string
      method run : unit -> 'a
      method screen : Gdk.screen
      method select_all : unit
      method select_filename : string -> bool
      method select_multiple : bool
      method select_uri : string -> bool
      method set_accept_focus : bool -> unit
      method set_action : Gtk.Tags.file_chooser_action -> unit
      method set_border_width : int -> unit
      method set_create_folders : bool -> unit
      method set_current_folder : string -> bool
      method set_current_folder_uri : string -> bool
      method set_current_name : string -> unit
      method set_decorated : bool -> unit
      method set_default_height : int -> unit
      method set_default_response : '-> 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_do_overwrite_confirmation : bool -> unit
      method set_extra_widget : GObj.widget -> unit
      method set_filename : string -> bool
      method set_filter : GFile.filter -> 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_local_only : bool -> unit
      method set_modal : bool -> unit
      method set_opacity : float -> unit
      method set_position : Gtk.Tags.window_position -> unit
      method set_preview_widget : GObj.widget -> unit
      method set_preview_widget_active : bool -> unit
      method set_resizable : bool -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method set_response_sensitive : '-> bool -> unit
      method set_role : string -> unit
      method set_screen : Gdk.screen -> unit
      method set_select_multiple : bool -> unit
      method set_show_hidden : bool -> 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_uri : string -> bool
      method set_use_preview_label : bool -> unit
      method set_wmclass : name:string -> clas:string -> unit
      method show : unit -> unit
      method show_hidden : bool
      method skip_pager_hint : bool
      method skip_taskbar_hint : bool
      method title : string
      method type_hint : Gdk.Tags.window_type_hint
      method unselect_all : unit
      method unselect_filename : string -> unit
      method unselect_uri : string -> unit
      method urgency_hint : bool
      method uri : string option
      method use_preview_label : bool
      method vbox : GPack.box
    end
  val file_chooser_dialog :
    action:GtkEnums.file_chooser_action ->
    ?filename:string ->
    ?parent:#GWindow.window_skel ->
    ?destroy_with_parent:bool ->
    ?title:string ->
    ?decorated:bool ->
    ?deletable:bool ->
    ?focus_on_map:bool ->
    ?icon:GdkPixbuf.pixbuf ->
    ?icon_name:string ->
    ?modal:bool ->
    ?position:Gtk.Tags.window_position ->
    ?resizable:bool ->
    ?screen:Gdk.screen ->
    ?type_hint:Gdk.Tags.window_type_hint ->
    ?urgency_hint:bool ->
    ?wmclass:string * string ->
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?show:bool -> unit -> [> `DELETE_EVENT ] GWindow.file_chooser_dialog
  class plug_signals :
    ([> Gtk.plug ] as 'a) Gtk.obj ->
    object ('b)
      val obj : 'Gtk.obj
      method add : callback:(GObj.widget -> unit) -> GtkSignal.id
      method after : 'b
      method destroy : callback:(unit -> unit) -> GtkSignal.id
      method embedded : callback:(unit -> unit) -> GtkSignal.id
      method notify_border_width : callback:(int -> unit) -> GtkSignal.id
      method notify_resize_mode :
        callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
      method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
    end
  class plug :
    Gtk.plug Gtk.obj ->
    object
      val obj : Gtk.plug Gtk.obj
      method accept_focus : bool
      method activate_default : unit -> bool
      method activate_focus : unit -> bool
      method add : GObj.widget -> unit
      method add_accel_group : Gtk.accel_group -> unit
      method all_children : GObj.widget list
      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 : GWindow.plug_signals
      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 event : GObj.event_ops
      method focus : GContainer.focus
      method focus_on_map : bool
      method get_oid : int
      method gravity : GdkEnums.gravity
      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 role : string
      method screen : Gdk.screen
      method set_accept_focus : bool -> unit
      method set_border_width : int -> 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_resize_mode : Gtk.Tags.resize_mode -> 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_wmclass : name:string -> clas: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
    end
  class socket_signals :
    ([> Gtk.socket ] as 'a) Gtk.obj ->
    object ('b)
      val obj : 'Gtk.obj
      method add : callback:(GObj.widget -> unit) -> GtkSignal.id
      method after : 'b
      method destroy : callback:(unit -> unit) -> GtkSignal.id
      method notify_border_width : callback:(int -> unit) -> GtkSignal.id
      method notify_resize_mode :
        callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
      method plug_added : callback:(unit -> unit) -> GtkSignal.id
      method plug_removed : callback:(unit -> unit) -> GtkSignal.id
      method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
    end
  class socket :
    Gtk.socket Gtk.obj ->
    object
      val obj : Gtk.socket Gtk.obj
      method add : GObj.widget -> unit
      method all_children : GObj.widget list
      method as_widget : Gtk.widget Gtk.obj
      method border_width : int
      method children : GObj.widget list
      method coerce : GObj.widget
      method connect : GWindow.socket_signals
      method destroy : unit -> unit
      method drag : GObj.drag_ops
      method focus : GContainer.focus
      method get_oid : int
      method misc : GObj.misc_ops
      method remove : GObj.widget -> unit
      method resize_mode : Gtk.Tags.resize_mode
      method set_border_width : int -> unit
      method set_resize_mode : Gtk.Tags.resize_mode -> unit
      method xwindow : Gdk.xid
    end
  val socket :
    ?border_width:int ->
    ?width:int ->
    ?height:int ->
    ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GWindow.socket
end