Initial revision

[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gBin.mli

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gBin.mli b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gBin.mli
new file mode 100644 (file)
index 0000000..9593650
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gBin.mli
@@ -0,0 +1,163 @@
+(* $Id$ *)
+
+open Gtk
+open GObj
+open GContainer
+
+class scrolled_window : Gtk.scrolled_window obj ->
+  object
+    inherit container_full
+    val obj : Gtk.scrolled_window obj
+    method add_with_viewport : widget -> unit
+    method hadjustment : GData.adjustment
+    method set_hadjustment : GData.adjustment -> unit
+    method set_hpolicy : Tags.policy_type -> unit
+    method set_placement : Tags.corner_type -> unit
+    method set_vadjustment : GData.adjustment -> unit
+    method set_vpolicy : Tags.policy_type -> unit
+    method vadjustment : GData.adjustment
+  end
+val scrolled_window :
+  ?hadjustment:GData.adjustment ->
+  ?vadjustment:GData.adjustment ->
+  ?hpolicy:Tags.policy_type ->
+  ?vpolicy:Tags.policy_type ->
+  ?placement:Tags.corner_type ->
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> scrolled_window
+
+class event_box : Gtk.event_box obj ->
+  object
+    inherit container_full
+    val obj : Gtk.event_box obj
+    method event : event_ops
+  end
+val event_box :
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> event_box
+
+class handle_box_signals : 'a obj ->
+  object
+    inherit container_signals
+    constraint 'a = [>`handlebox|`container|`widget]
+    val obj : 'a obj
+    method child_attached : callback:(widget -> unit) -> GtkSignal.id
+    method child_detached : callback:(widget -> unit) -> GtkSignal.id
+  end
+
+class handle_box : Gtk.handle_box obj ->
+  object
+    inherit container
+    val obj : Gtk.handle_box obj
+    method event : event_ops
+    method connect : handle_box_signals
+    method set_handle_position : Tags.position -> unit
+    method set_shadow_type : Tags.shadow_type -> unit
+    method set_snap_edge : Tags.position -> unit
+  end
+val handle_box :
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> handle_box
+
+class frame_skel : 'a obj ->
+  object
+    inherit container
+    constraint 'a = [>`frame|`container|`widget]
+    val obj : 'a obj
+    method set_label : string -> unit
+    method set_label_align : ?x:clampf -> ?y:clampf -> unit -> unit
+    method set_shadow_type : Tags.shadow_type -> unit
+  end
+class frame : [>`frame] obj ->
+  object
+    inherit frame_skel
+    val obj : Gtk.frame obj
+    method connect : GContainer.container_signals
+  end
+val frame :
+  ?label:string ->
+  ?label_xalign:clampf ->
+  ?label_yalign:clampf ->
+  ?shadow_type:Tags.shadow_type ->
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> frame
+
+class aspect_frame : Gtk.aspect_frame obj ->
+  object
+    inherit frame
+    val obj : Gtk.aspect_frame obj
+    method set_alignment : ?x:clampf -> ?y:clampf -> unit -> unit
+    method set_obey_child : bool -> unit
+    method set_ratio : clampf -> unit
+  end
+val aspect_frame :
+  ?label:string ->
+  ?xalign:clampf ->
+  ?yalign:clampf ->
+  ?ratio:float ->
+  ?obey_child:bool ->
+  ?label_xalign:clampf ->
+  ?label_yalign:clampf ->
+  ?shadow_type:Tags.shadow_type ->
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> aspect_frame
+
+class viewport : Gtk.viewport obj ->
+  object
+    inherit container_full
+    val obj : Gtk.viewport obj
+    method event : event_ops
+    method hadjustment : GData.adjustment
+    method set_hadjustment : GData.adjustment -> unit
+    method set_shadow_type : Gtk.Tags.shadow_type -> unit
+    method set_vadjustment : GData.adjustment -> unit
+    method vadjustment : GData.adjustment
+  end
+val viewport :
+  ?hadjustment:GData.adjustment ->
+  ?vadjustment:GData.adjustment ->
+  ?shadow_type:Tags.shadow_type ->
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> viewport
+
+class alignment : Gtk.alignment obj ->
+  object
+    inherit container_full
+    val obj : Gtk.alignment obj
+    method set_alignment : ?x:Gtk.clampf -> ?y:Gtk.clampf -> unit -> unit
+    method set_scale : ?x:Gtk.clampf -> ?y:Gtk.clampf -> unit -> unit
+  end
+val alignment :
+  ?x:Gtk.clampf ->
+  ?y:Gtk.clampf ->
+  ?xscale:Gtk.clampf ->
+  ?yscale:Gtk.clampf ->
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> alignment
+val alignment_cast : < as_widget : 'a obj; .. > -> alignment
+
+class socket : Gtk.socket obj ->
+  object
+    inherit container_full
+    val obj : Gtk.socket obj
+    method steal : Gdk.xid -> unit
+    method xwindow : Gdk.xid
+  end
+
+val socket :
+  ?border_width:int -> ?width:int -> ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> socket