X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgBin.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgBin.ml;h=f248ba0f8ace9d8e1d459638ec35550425119907;hb=2ee84a2a641938988703e329aef9fc3c5eb5aacf;hp=0000000000000000000000000000000000000000;hpb=34d83812af9b7064cc8f735c2a78169881140010;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gBin.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gBin.ml
new file mode 100644
index 000000000..f248ba0f8
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gBin.ml
@@ -0,0 +1,153 @@
+(* $Id$ *)
+
+open Gaux
+open Gtk
+open GtkBase
+open GtkBin
+open GObj
+open GContainer
+
+class scrolled_window obj = object
+  inherit container_full (obj : Gtk.scrolled_window obj)
+  method hadjustment =
+    new GData.adjustment (ScrolledWindow.get_hadjustment obj)
+  method vadjustment =
+    new GData.adjustment (ScrolledWindow.get_vadjustment obj)
+  method set_hadjustment adj =
+    ScrolledWindow.set_hadjustment obj (GData.as_adjustment adj)
+  method set_vadjustment adj =
+    ScrolledWindow.set_vadjustment obj (GData.as_adjustment adj)
+  method set_hpolicy hpolicy = ScrolledWindow.set_policy' obj ~hpolicy
+  method set_vpolicy vpolicy = ScrolledWindow.set_policy' obj ~vpolicy
+  method set_placement = ScrolledWindow.set_placement obj
+  method add_with_viewport w =
+    ScrolledWindow.add_with_viewport obj (as_widget w)
+end
+
+let scrolled_window ?hadjustment ?vadjustment ?hpolicy ?vpolicy
+    ?placement ?border_width ?width ?height ?packing ?show () =
+  let w =
+    ScrolledWindow.create ()
+      ?hadjustment:(may_map ~f:GData.as_adjustment hadjustment)
+      ?vadjustment:(may_map ~f:GData.as_adjustment vadjustment) in
+  ScrolledWindow.set w ?hpolicy ?vpolicy ?placement;
+  Container.set w ?border_width ?width ?height;
+  pack_return (new scrolled_window w) ~packing ~show
+
+class event_box obj = object
+  inherit container_full (obj : Gtk.event_box obj)
+  method event = new GObj.event_ops obj
+end
+
+let event_box ?border_width ?width ?height ?packing ?show () =
+  let w = EventBox.create () in
+  Container.set w ?border_width ?width ?height;
+  pack_return (new event_box w) ~packing ~show
+
+class handle_box_signals obj = object
+  inherit container_signals obj
+  method child_attached ~callback =
+    GtkSignal.connect ~sgn:HandleBox.Signals.child_attached obj ~after
+      ~callback:(fun obj -> callback (new widget obj))
+  method child_detached ~callback =
+    GtkSignal.connect ~sgn:HandleBox.Signals.child_detached obj ~after
+      ~callback:(fun obj -> callback (new widget obj))
+end
+
+class handle_box obj = object
+  inherit container (obj : Gtk.handle_box obj)
+  method set_shadow_type     = HandleBox.set_shadow_type     obj
+  method set_handle_position = HandleBox.set_handle_position obj
+  method set_snap_edge       = HandleBox.set_snap_edge       obj
+  method connect = new handle_box_signals obj
+  method event = new GObj.event_ops obj
+end
+
+let handle_box ?border_width ?width ?height ?packing ?show () =
+  let w = HandleBox.create () in
+  let () = Container.set w ?border_width ?width ?height in
+  pack_return (new handle_box w) ~packing ~show
+
+class frame_skel obj = object
+  inherit container obj
+  method set_label = Frame.set_label obj
+  method set_label_align ?x ?y () = Frame.set_label_align' obj ?x ?y
+  method set_shadow_type = Frame.set_shadow_type obj
+end
+
+class frame obj = object
+  inherit frame_skel (Frame.coerce obj)
+  method connect = new container_signals obj
+end
+
+let frame ?(label="") ?label_xalign ?label_yalign ?shadow_type
+    ?border_width ?width ?height ?packing ?show () =
+  let w = Frame.create label in
+  Frame.set w ?label_xalign ?label_yalign ?shadow_type;
+  Container.set w ?border_width ?width ?height;
+  pack_return (new frame w) ~packing ~show
+
+class aspect_frame obj = object
+  inherit frame_skel (obj : Gtk.aspect_frame obj)
+  method connect = new container_signals obj
+  method set_alignment ?x ?y () = AspectFrame.set obj ?xalign:x ?yalign:y
+  method set_ratio ratio = AspectFrame.set obj ~ratio
+  method set_obey_child obey_child = AspectFrame.set obj ~obey_child
+end
+
+let aspect_frame ?label ?xalign ?yalign ?ratio ?obey_child
+    ?label_xalign ?label_yalign ?shadow_type
+    ?border_width ?width ?height ?packing ?show () =
+  let w =
+    AspectFrame.create ?label ?xalign ?yalign ?ratio ?obey_child () in
+  Frame.set w ?label_xalign ?label_yalign ?shadow_type;
+  Container.set w ?border_width ?width ?height;
+  pack_return (new aspect_frame w) ~packing ~show
+
+class viewport obj = object
+  inherit container_full (obj : Gtk.viewport obj)
+  method event = new event_ops obj
+  method set_hadjustment adj =
+    Viewport.set_hadjustment obj (GData.as_adjustment adj)
+  method set_vadjustment adj =
+    Viewport.set_vadjustment obj (GData.as_adjustment adj)
+  method set_shadow_type = Viewport.set_shadow_type obj
+  method hadjustment = new GData.adjustment (Viewport.get_hadjustment obj)
+  method vadjustment = new GData.adjustment (Viewport.get_vadjustment obj)
+end
+
+let viewport ?hadjustment ?vadjustment ?shadow_type
+    ?border_width ?width ?height ?packing ?show () =
+  let w = Viewport.create ()
+      ?hadjustment:(may_map ~f:GData.as_adjustment hadjustment)
+      ?vadjustment:(may_map ~f:GData.as_adjustment vadjustment) in
+  may shadow_type ~f:(Viewport.set_shadow_type w);
+  Container.set w ?border_width ?width ?height;
+  pack_return (new viewport w) ~packing ~show
+
+class alignment obj = object
+  inherit container_full (obj : Gtk.alignment obj)
+  method set_alignment ?x ?y () = Alignment.set ?x ?y obj
+  method set_scale ?x ?y () = Alignment.set ?xscale:x ?yscale:y obj
+end
+
+let alignment ?x ?y ?xscale ?yscale
+    ?border_width ?width ?height ?packing ?show () =
+  let w = Alignment.create ?x ?y ?xscale ?yscale () in
+  Container.set w ?border_width ?width ?height;
+  pack_return (new alignment w) ~packing ~show
+  
+let alignment_cast w = new alignment (Alignment.cast w#as_widget)
+
+class socket obj = object (self)
+  inherit container_full (obj : Gtk.socket obj)
+  method steal = Socket.steal obj
+  method xwindow =
+    self#misc#realize ();
+    Gdk.Window.get_xwindow self#misc#window
+end
+
+let socket ?border_width ?width ?height ?packing ?show () =
+  let w = Socket.create () in
+  Container.set w ?border_width ?width ?height;
+  pack_return (new socket w) ?packing ?show