X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgBin.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgBin.ml;h=0000000000000000000000000000000000000000;hp=f248ba0f8ace9d8e1d459638ec35550425119907;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gBin.ml b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gBin.ml
deleted file mode 100644
index f248ba0f8..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gBin.ml
+++ /dev/null
@@ -1,153 +0,0 @@
-(* $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