module GWindow: sig
.. end
Windows
Windows
GtkWindow
class window_skel : [> Gtk.window ] Gtk.obj ->
object
.. end
class window : [> Gtk.window ] Gtk.obj ->
object
.. end
Toplevel widget which can contain other widgets
val window : ?kind:Gtk.Tags.window_type ->
?title:string ->
?allow_grow:bool ->
?allow_shrink:bool ->
?icon:GdkPixbuf.pixbuf ->
?modal:bool ->
?resizable:bool ->
?screen:Gdk.screen ->
?type_hint:Gdk.Tags.window_type_hint ->
?position:Gtk.Tags.window_position ->
?wm_name:string ->
?wm_class:string ->
?border_width:int ->
?width:int -> ?height:int -> ?show:bool -> unit -> window
kind
: default value is `TOPLEVEL
allow_grow
: default value is true
allow_shrink
: default value is false
modal
: default value is false
resizable
: default value is true
type_hint
: default value is `NORMAL
position
: default value is `NONE
val toplevel : #GObj.widget -> window option
return the toplevel window of this widget, if existing
GtkDialog
class ['a]
dialog_signals : [> Gtk.dialog ] Gtk.obj -> decode:int -> 'a ->
object
.. end
class [[> `DELETE_EVENT ]]
dialog_skel : [> Gtk.dialog ] Gtk.obj ->
object
.. end
class [[> `DELETE_EVENT ]]
dialog_ext : [> Gtk.dialog ] Gtk.obj ->
object
.. end
Create popup windows
class [[> `DELETE_EVENT ]]
dialog : [> Gtk.dialog ] Gtk.obj ->
object
.. end
Create popup windows
val dialog : ?no_separator:bool ->
?parent:#window_skel ->
?destroy_with_parent:bool ->
?title:string ->
?allow_grow:bool ->
?allow_shrink:bool ->
?icon:GdkPixbuf.pixbuf ->
?modal:bool ->
?resizable:bool ->
?screen:Gdk.screen ->
?type_hint:Gdk.Tags.window_type_hint ->
?position:Gtk.Tags.window_position ->
?wm_name:string ->
?wm_class:string ->
?border_width:int ->
?width:int ->
?height:int -> ?show:bool -> unit -> [> `DELETE_EVENT ] dialog
no_separator
: default value is false
destroy_with_parent
: default value is false
type
any_response = [ `ACCEPT
| `APPLY
| `CANCEL
| `CLOSE
| `DELETE_EVENT
| `HELP
| `NO
| `NONE
| `OK
| `OTHER of int
| `REJECT
| `YES ]
Variation for safe typing
class dialog_any : [> Gtk.dialog ] Gtk.obj ->
[any_response]
dialog
GtkMessageDialog
type 'a
buttons
module Buttons: sig
.. end
class type [[> `DELETE_EVENT ]]
message_dialog = object
.. end
Convenient message window
val message_dialog : ?message:string ->
message_type:Gtk.Tags.message_type ->
buttons:([> `DELETE_EVENT ] as 'a) buttons ->
?parent:#window_skel ->
?destroy_with_parent:bool ->
?title:string ->
?allow_grow:bool ->
?allow_shrink:bool ->
?icon:GdkPixbuf.pixbuf ->
?modal:bool ->
?resizable:bool ->
?screen:Gdk.screen ->
?type_hint:Gdk.Tags.window_type_hint ->
?position:Gtk.Tags.window_position ->
?wm_name:string ->
?wm_class:string ->
?border_width:int ->
?width:int -> ?height:int -> ?show:bool -> unit -> 'a message_dialog
File Chooser Dialog
class ['a]
file_chooser_dialog_signals : [> `bin | `container | `dialog | `filechooser | `gtk | `widget | `window ]
Gtk.obj -> decode:int -> 'a ->
object
.. end
class [[> `DELETE_EVENT ]]
file_chooser_dialog : [> `bin | `container | `dialog | `filechooser | `gtk | `widget | `window ]
Gtk.obj ->
object
.. end
val file_chooser_dialog : action:GtkEnums.file_chooser_action ->
?backend:string ->
?parent:#window_skel ->
?destroy_with_parent:bool ->
?title:string ->
?allow_grow:bool ->
?allow_shrink:bool ->
?icon:GdkPixbuf.pixbuf ->
?modal:bool ->
?resizable:bool ->
?screen:Gdk.screen ->
?type_hint:Gdk.Tags.window_type_hint ->
?position:Gtk.Tags.window_position ->
?wm_name:string ->
?wm_class:string ->
?border_width:int ->
?width:int ->
?height:int ->
?show:bool -> unit -> [> `DELETE_EVENT ] file_chooser_dialog
Since GTK 2.4
Selection Dialogs
class color_selection_dialog : Gtk.color_selection_dialog Gtk.obj ->
object
.. end
val color_selection_dialog : ?title:string ->
?parent:#window_skel ->
?destroy_with_parent:bool ->
?allow_grow:bool ->
?allow_shrink:bool ->
?icon:GdkPixbuf.pixbuf ->
?modal:bool ->
?screen:Gdk.screen ->
?type_hint:Gdk.Tags.window_type_hint ->
?position:Gtk.Tags.window_position ->
?wm_name:string ->
?wm_class:string ->
?border_width:int ->
?width:int ->
?height:int -> ?show:bool -> unit -> color_selection_dialog
class file_selection : Gtk.file_selection Gtk.obj ->
object
.. end
val file_selection : ?title:string ->
?show_fileops:bool ->
?filename:string ->
?select_multiple:bool ->
?parent:#window_skel ->
?destroy_with_parent:bool ->
?allow_grow:bool ->
?allow_shrink:bool ->
?icon:GdkPixbuf.pixbuf ->
?modal:bool ->
?resizable:bool ->
?screen:Gdk.screen ->
?type_hint:Gdk.Tags.window_type_hint ->
?position:Gtk.Tags.window_position ->
?wm_name:string ->
?wm_class:string ->
?border_width:int ->
?width:int -> ?height:int -> ?show:bool -> unit -> file_selection
class font_selection_dialog : Gtk.font_selection_dialog Gtk.obj ->
object
.. end
val font_selection_dialog : ?title:string ->
?parent:#window_skel ->
?destroy_with_parent:bool ->
?allow_grow:bool ->
?allow_shrink:bool ->
?icon:GdkPixbuf.pixbuf ->
?modal:bool ->
?resizable:bool ->
?screen:Gdk.screen ->
?type_hint:Gdk.Tags.window_type_hint ->
?position:Gtk.Tags.window_position ->
?wm_name:string ->
?wm_class:string ->
?border_width:int ->
?width:int ->
?height:int -> ?show:bool -> unit -> font_selection_dialog
GtkPlug
class plug_signals : [> Gtk.plug ] Gtk.obj ->
object
.. end
class plug : Gtk.plug Gtk.obj ->
object
.. end
Toplevel for embedding into other processes
val plug : window:Gdk.xid ->
?border_width:int ->
?width:int -> ?height:int -> ?show:bool -> unit -> plug
GtkSocket
class socket_signals : [> Gtk.socket ] Gtk.obj ->
object
.. end
class socket : Gtk.socket Gtk.obj ->
object
.. end
Container for widgets from other processes
val socket : ?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> socket