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

   1 (* $Id$ *)
   2
   3 open Gtk
   4 open GObj
   5 open GContainer
   6
   7 class scrolled_window : Gtk.scrolled_window obj ->
   8   object
   9     inherit container_full
  10     val obj : Gtk.scrolled_window obj
  11     method add_with_viewport : widget -> unit
  12     method hadjustment : GData.adjustment
  13     method set_hadjustment : GData.adjustment -> unit
  14     method set_hpolicy : Tags.policy_type -> unit
  15     method set_placement : Tags.corner_type -> unit
  16     method set_vadjustment : GData.adjustment -> unit
  17     method set_vpolicy : Tags.policy_type -> unit
  18     method vadjustment : GData.adjustment
  19   end
  20 val scrolled_window :
  21   ?hadjustment:GData.adjustment ->
  22   ?vadjustment:GData.adjustment ->
  23   ?hpolicy:Tags.policy_type ->
  24   ?vpolicy:Tags.policy_type ->
  25   ?placement:Tags.corner_type ->
  26   ?border_width:int ->
  27   ?width:int ->
  28   ?height:int ->
  29   ?packing:(widget -> unit) -> ?show:bool -> unit -> scrolled_window
  30
  31 class event_box : Gtk.event_box obj ->
  32   object
  33     inherit container_full
  34     val obj : Gtk.event_box obj
  35     method event : event_ops
  36   end
  37 val event_box :
  38   ?border_width:int ->
  39   ?width:int ->
  40   ?height:int ->
  41   ?packing:(widget -> unit) -> ?show:bool -> unit -> event_box
  42
  43 class handle_box_signals : 'a obj ->
  44   object
  45     inherit container_signals
  46     constraint 'a = [>`handlebox|`container|`widget]
  47     val obj : 'a obj
  48     method child_attached : callback:(widget -> unit) -> GtkSignal.id
  49     method child_detached : callback:(widget -> unit) -> GtkSignal.id
  50   end
  51
  52 class handle_box : Gtk.handle_box obj ->
  53   object
  54     inherit container
  55     val obj : Gtk.handle_box obj
  56     method event : event_ops
  57     method connect : handle_box_signals
  58     method set_handle_position : Tags.position -> unit
  59     method set_shadow_type : Tags.shadow_type -> unit
  60     method set_snap_edge : Tags.position -> unit
  61   end
  62 val handle_box :
  63   ?border_width:int ->
  64   ?width:int ->
  65   ?height:int ->
  66   ?packing:(widget -> unit) -> ?show:bool -> unit -> handle_box
  67
  68 class frame_skel : 'a obj ->
  69   object
  70     inherit container
  71     constraint 'a = [>`frame|`container|`widget]
  72     val obj : 'a obj
  73     method set_label : string -> unit
  74     method set_label_align : ?x:clampf -> ?y:clampf -> unit -> unit
  75     method set_shadow_type : Tags.shadow_type -> unit
  76   end
  77 class frame : [>`frame] obj ->
  78   object
  79     inherit frame_skel
  80     val obj : Gtk.frame obj
  81     method connect : GContainer.container_signals
  82   end
  83 val frame :
  84   ?label:string ->
  85   ?label_xalign:clampf ->
  86   ?label_yalign:clampf ->
  87   ?shadow_type:Tags.shadow_type ->
  88   ?border_width:int ->
  89   ?width:int ->
  90   ?height:int ->
  91   ?packing:(widget -> unit) -> ?show:bool -> unit -> frame
  92
  93 class aspect_frame : Gtk.aspect_frame obj ->
  94   object
  95     inherit frame
  96     val obj : Gtk.aspect_frame obj
  97     method set_alignment : ?x:clampf -> ?y:clampf -> unit -> unit
  98     method set_obey_child : bool -> unit
  99     method set_ratio : clampf -> unit
 100   end
 101 val aspect_frame :
 102   ?label:string ->
 103   ?xalign:clampf ->
 104   ?yalign:clampf ->
 105   ?ratio:float ->
 106   ?obey_child:bool ->
 107   ?label_xalign:clampf ->
 108   ?label_yalign:clampf ->
 109   ?shadow_type:Tags.shadow_type ->
 110   ?border_width:int ->
 111   ?width:int ->
 112   ?height:int ->
 113   ?packing:(widget -> unit) -> ?show:bool -> unit -> aspect_frame
 114
 115 class viewport : Gtk.viewport obj ->
 116   object
 117     inherit container_full
 118     val obj : Gtk.viewport obj
 119     method event : event_ops
 120     method hadjustment : GData.adjustment
 121     method set_hadjustment : GData.adjustment -> unit
 122     method set_shadow_type : Gtk.Tags.shadow_type -> unit
 123     method set_vadjustment : GData.adjustment -> unit
 124     method vadjustment : GData.adjustment
 125   end
 126 val viewport :
 127   ?hadjustment:GData.adjustment ->
 128   ?vadjustment:GData.adjustment ->
 129   ?shadow_type:Tags.shadow_type ->
 130   ?border_width:int ->
 131   ?width:int ->
 132   ?height:int ->
 133   ?packing:(widget -> unit) -> ?show:bool -> unit -> viewport
 134
 135 class alignment : Gtk.alignment obj ->
 136   object
 137     inherit container_full
 138     val obj : Gtk.alignment obj
 139     method set_alignment : ?x:Gtk.clampf -> ?y:Gtk.clampf -> unit -> unit
 140     method set_scale : ?x:Gtk.clampf -> ?y:Gtk.clampf -> unit -> unit
 141   end
 142 val alignment :
 143   ?x:Gtk.clampf ->
 144   ?y:Gtk.clampf ->
 145   ?xscale:Gtk.clampf ->
 146   ?yscale:Gtk.clampf ->
 147   ?border_width:int ->
 148   ?width:int ->
 149   ?height:int ->
 150   ?packing:(widget -> unit) -> ?show:bool -> unit -> alignment
 151 val alignment_cast : < as_widget : 'a obj; .. > -> alignment
 152
 153 class socket : Gtk.socket obj ->
 154   object
 155     inherit container_full
 156     val obj : Gtk.socket obj
 157     method steal : Gdk.xid -> unit
 158     method xwindow : Gdk.xid
 159   end
 160
 161 val socket :
 162   ?border_width:int -> ?width:int -> ?height:int ->
 163   ?packing:(widget -> unit) -> ?show:bool -> unit -> socket