helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gWindow.mli

   1 (* $Id$ *)
   2
   3 open Gtk
   4 open GObj
   5
   6 class ['a] window_skel : 'b obj ->
   7   object
   8     inherit GContainer.container
   9     constraint 'a = 'a #window_skel
  10     constraint 'b = [>`widget|`container|`window]
  11     val obj : 'b obj
  12     method activate_default : unit -> unit
  13     method activate_focus : unit -> unit
  14     method add_accel_group : accel_group -> unit
  15     method event : event_ops
  16     method as_window : Gtk.window obj
  17     method set_allow_grow : bool -> unit
  18     method set_allow_shrink : bool -> unit
  19     method set_auto_shrink : bool -> unit
  20     method set_default_size : width:int -> height:int -> unit
  21     method set_modal : bool -> unit
  22     method set_position : Tags.window_position -> unit
  23     method set_resize_mode : Tags.resize_mode -> unit
  24     method set_title : string -> unit
  25     method set_transient_for : 'a -> unit
  26     method set_wm_class : string -> unit
  27     method set_wm_name : string -> unit
  28     method show : unit -> unit
  29   end
  30
  31 class window : [>`window] obj ->
  32   object
  33     inherit [window] window_skel
  34     val obj : Gtk.window obj
  35     method connect : GContainer.container_signals
  36   end
  37 val window :
  38   ?kind:Tags.window_type ->
  39   ?title:string ->
  40   ?wm_name:string ->
  41   ?wm_class:string ->
  42   ?position:Tags.window_position ->
  43   ?allow_shrink:bool ->
  44   ?allow_grow:bool ->
  45   ?auto_shrink:bool ->
  46   ?modal:bool ->
  47   ?x:int ->
  48   ?y:int ->
  49   ?border_width:int ->
  50   ?width:int -> ?height:int -> ?show:bool -> unit -> window
  51
  52 class dialog : [>`dialog] obj ->
  53   object
  54     inherit [window] window_skel
  55     val obj : Gtk.dialog obj
  56     method action_area : GPack.box
  57     method connect : GContainer.container_signals
  58     method event : event_ops
  59     method vbox : GPack.box
  60   end
  61 val dialog :
  62   ?title:string ->
  63   ?wm_name:string ->
  64   ?wm_class:string ->
  65   ?position:Tags.window_position ->
  66   ?allow_shrink:bool ->
  67   ?allow_grow:bool ->
  68   ?auto_shrink:bool ->
  69   ?modal:bool ->
  70   ?x:int ->
  71   ?y:int ->
  72   ?border_width:int ->
  73   ?width:int -> ?height:int -> ?show:bool -> unit -> dialog
  74
  75 class color_selection_dialog : Gtk.color_selection_dialog obj ->
  76   object
  77     inherit [window] window_skel
  78     val obj : Gtk.color_selection_dialog obj
  79     method cancel_button : GButton.button
  80     method colorsel : GMisc.color_selection
  81     method connect : GContainer.container_signals
  82     method help_button : GButton.button
  83     method ok_button : GButton.button
  84   end
  85 val color_selection_dialog :
  86   ?title:string ->
  87   ?wm_name:string ->
  88   ?wm_class:string ->
  89   ?position:Tags.window_position ->
  90   ?allow_shrink:bool ->
  91   ?allow_grow:bool ->
  92   ?auto_shrink:bool ->
  93   ?modal:bool ->
  94   ?x:int ->
  95   ?y:int ->
  96   ?border_width:int ->
  97   ?width:int -> ?height:int -> ?show:bool -> unit -> color_selection_dialog
  98
  99 class file_selection : Gtk.file_selection obj ->
 100   object
 101     inherit [window] window_skel
 102     val obj : Gtk.file_selection obj
 103     method cancel_button : GButton.button
 104     method connect : GContainer.container_signals
 105     method get_filename : string
 106     method help_button : GButton.button
 107     method ok_button : GButton.button
 108     method set_filename : string -> unit
 109     method set_fileop_buttons : bool -> unit
 110   end
 111 val file_selection :
 112   ?title:string ->
 113   ?filename:string ->
 114   ?fileop_buttons:bool ->
 115   ?wm_name:string ->
 116   ?wm_class:string ->
 117   ?position:Tags.window_position ->
 118   ?allow_shrink:bool ->
 119   ?allow_grow:bool ->
 120   ?auto_shrink:bool ->
 121   ?modal:bool ->
 122   ?x:int ->
 123   ?y:int ->
 124   ?border_width:int ->
 125   ?width:int -> ?height:int -> ?show:bool -> unit -> file_selection
 126
 127 class font_selection_dialog : Gtk.font_selection_dialog obj ->
 128   object
 129     inherit [window] window_skel
 130     val obj : Gtk.font_selection_dialog obj
 131     method apply_button : GButton.button
 132     method cancel_button : GButton.button
 133     method connect : GContainer.container_signals
 134     method selection : GMisc.font_selection
 135     method ok_button : GButton.button
 136   end
 137 val font_selection_dialog :
 138   ?title:string ->
 139   ?wm_name:string ->
 140   ?wm_class:string ->
 141   ?position:Tags.window_position ->
 142   ?allow_shrink:bool ->
 143   ?allow_grow:bool ->
 144   ?auto_shrink:bool ->
 145   ?modal:bool ->
 146   ?x:int ->
 147   ?y:int ->
 148   ?border_width:int ->
 149   ?width:int -> ?height:int -> ?show:bool -> unit -> font_selection_dialog
 150
 151 class plug : Gtk.plug obj -> window
 152
 153 val plug :
 154   window:Gdk.xid ->
 155   ?border_width:int ->
 156   ?width:int -> ?height:int -> ?show:bool -> unit -> plug