class window_skel : [> Gtk.window ] as 'a Gtk.obj -> object ... endclass window : [> Gtk.window ] as 'b Gtk.obj -> object ... endval 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 ->
windowval toplevel : GObj.widget -> window optionclass !'a dialog_signals : [> Gtk.dialog ] as 'c Gtk.obj -> decode:(int -> 'a) -> object ... endclass !'a dialog_skel : [> Gtk.dialog ] as 'c Gtk.obj -> object ... endclass !'a dialog_ext : [> Gtk.dialog ] as 'c Gtk.obj -> object ... endclass !'a dialog : [> Gtk.dialog ] Gtk.obj -> object ... endval dialog :
?no_separator:bool ->
?parent: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 ] dialogclass dialog_any : [> Gtk.dialog ] Gtk.obj -> dialogmodule Buttons : sig ... endclass type !'a message_dialog = object ... endval message_dialog :
buttons:[> `DELETE_EVENT ] as 'a buttons ->
?message_type:Gtk.Tags.message_type ->
?message:string ->
?use_markup:bool ->
?parent: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 ->
'a message_dialogclass about_dialog : [> Gtk.about_dialog ] as 'b Gtk.obj -> object ... endval 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: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 ->
about_dialogclass !'a file_chooser_dialog_signals : [> `bin | `container | `dialog | `filechooser | `giu | `widget | `window ] as 'c
Gtk.obj -> decode:(int ->
'a) -> object ... endclass !'a file_chooser_dialog : [> `bin | `container | `dialog | `filechooser | `giu | `widget | `window ] as 'c
Gtk.obj -> object ... endval file_chooser_dialog :
action:GtkEnums.file_chooser_action ->
?filename:string ->
?parent: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 ] file_chooser_dialogclass plug_signals : [> Gtk.plug ] as 'b Gtk.obj -> object ... endclass socket_signals : [> Gtk.socket ] as 'b Gtk.obj -> object ... endclass socket : Gtk.socket Gtk.obj -> object ... endval socket :
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
socket