-(* $Id$ *)
-
-open Gtk
-open GObj
-
-class ['a] window_skel : 'b obj ->
- object
- inherit GContainer.container
- constraint 'a = 'a #window_skel
- constraint 'b = [>`widget|`container|`window]
- val obj : 'b obj
- method activate_default : unit -> unit
- method activate_focus : unit -> unit
- method add_accel_group : accel_group -> unit
- method event : event_ops
- method as_window : Gtk.window obj
- method set_allow_grow : bool -> unit
- method set_allow_shrink : bool -> unit
- method set_auto_shrink : bool -> unit
- method set_default_size : width:int -> height:int -> unit
- method set_modal : bool -> unit
- method set_position : Tags.window_position -> unit
- method set_resize_mode : Tags.resize_mode -> unit
- method set_title : string -> unit
- method set_transient_for : 'a -> unit
- method set_wm_class : string -> unit
- method set_wm_name : string -> unit
- method show : unit -> unit
- end
-
-class window : [>`window] obj ->
- object
- inherit [window] window_skel
- val obj : Gtk.window obj
- method connect : GContainer.container_signals
- end
-val window :
- ?kind:Tags.window_type ->
- ?title:string ->
- ?wm_name:string ->
- ?wm_class:string ->
- ?position:Tags.window_position ->
- ?allow_shrink:bool ->
- ?allow_grow:bool ->
- ?auto_shrink:bool ->
- ?modal:bool ->
- ?x:int ->
- ?y:int ->
- ?border_width:int ->
- ?width:int -> ?height:int -> ?show:bool -> unit -> window
-
-class dialog : [>`dialog] obj ->
- object
- inherit [window] window_skel
- val obj : Gtk.dialog obj
- method action_area : GPack.box
- method connect : GContainer.container_signals
- method event : event_ops
- method vbox : GPack.box
- end
-val dialog :
- ?title:string ->
- ?wm_name:string ->
- ?wm_class:string ->
- ?position:Tags.window_position ->
- ?allow_shrink:bool ->
- ?allow_grow:bool ->
- ?auto_shrink:bool ->
- ?modal:bool ->
- ?x:int ->
- ?y:int ->
- ?border_width:int ->
- ?width:int -> ?height:int -> ?show:bool -> unit -> dialog
-
-class color_selection_dialog : Gtk.color_selection_dialog obj ->
- object
- inherit [window] window_skel
- val obj : Gtk.color_selection_dialog obj
- method cancel_button : GButton.button
- method colorsel : GMisc.color_selection
- method connect : GContainer.container_signals
- method help_button : GButton.button
- method ok_button : GButton.button
- end
-val color_selection_dialog :
- ?title:string ->
- ?wm_name:string ->
- ?wm_class:string ->
- ?position:Tags.window_position ->
- ?allow_shrink:bool ->
- ?allow_grow:bool ->
- ?auto_shrink:bool ->
- ?modal:bool ->
- ?x:int ->
- ?y:int ->
- ?border_width:int ->
- ?width:int -> ?height:int -> ?show:bool -> unit -> color_selection_dialog
-
-class file_selection : Gtk.file_selection obj ->
- object
- inherit [window] window_skel
- val obj : Gtk.file_selection obj
- method cancel_button : GButton.button
- method connect : GContainer.container_signals
- method get_filename : string
- method help_button : GButton.button
- method ok_button : GButton.button
- method set_filename : string -> unit
- method set_fileop_buttons : bool -> unit
- end
-val file_selection :
- ?title:string ->
- ?filename:string ->
- ?fileop_buttons:bool ->
- ?wm_name:string ->
- ?wm_class:string ->
- ?position:Tags.window_position ->
- ?allow_shrink:bool ->
- ?allow_grow:bool ->
- ?auto_shrink:bool ->
- ?modal:bool ->
- ?x:int ->
- ?y:int ->
- ?border_width:int ->
- ?width:int -> ?height:int -> ?show:bool -> unit -> file_selection
-
-class font_selection_dialog : Gtk.font_selection_dialog obj ->
- object
- inherit [window] window_skel
- val obj : Gtk.font_selection_dialog obj
- method apply_button : GButton.button
- method cancel_button : GButton.button
- method connect : GContainer.container_signals
- method selection : GMisc.font_selection
- method ok_button : GButton.button
- end
-val font_selection_dialog :
- ?title:string ->
- ?wm_name:string ->
- ?wm_class:string ->
- ?position:Tags.window_position ->
- ?allow_shrink:bool ->
- ?allow_grow:bool ->
- ?auto_shrink:bool ->
- ?modal:bool ->
- ?x:int ->
- ?y:int ->
- ?border_width:int ->
- ?width:int -> ?height:int -> ?show:bool -> unit -> font_selection_dialog
-
-class plug : Gtk.plug obj -> window
-
-val plug :
- window:Gdk.xid ->
- ?border_width:int ->
- ?width:int -> ?height:int -> ?show:bool -> unit -> plug