X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgPack.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgPack.ml;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=3641349a9691c73a504af1cde7006ac7c0aacdba;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gPack.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gPack.ml
deleted file mode 100644
index 3641349a9..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gPack.ml
+++ /dev/null
@@ -1,217 +0,0 @@
-(* $Id$ *)
-
-open Gaux
-open Gtk
-open GtkBase
-open GtkPack
-open GObj
-open GContainer
-
-class box_skel obj = object
-  inherit container obj
-  method pack ?from:f ?expand ?fill ?padding w =
-    Box.pack obj (as_widget w) ?from:f ?expand ?fill ?padding
-  method set_homogeneous = Box.set_homogeneous obj
-  method set_spacing = Box.set_spacing obj
-  method set_child_packing ?from:f ?expand ?fill ?padding w =
-    Box.set_child_packing obj (as_widget w) ?from:f ?expand ?fill ?padding
-  method reorder_child w = Box.reorder_child obj (as_widget w)
-end
-
-class box obj = object
-  inherit box_skel obj
-  method connect = new container_signals obj
-end
-  
-let box dir ?homogeneous ?spacing ?border_width ?width ?height
-    ?packing ?show () =
-  let w = Box.create dir ?homogeneous ?spacing () in
-  Container.set w ?border_width ?width ?height;
-  pack_return (new box w) ~packing ~show
-
-let vbox = box `VERTICAL
-let hbox = box `HORIZONTAL
-
-class button_box obj = object
-  inherit box_skel (obj : Gtk.button_box obj)
-  method connect = new container_signals obj
-  method set_layout  = BBox.set_layout  obj
-  method set_spacing = BBox.set_spacing obj
-  method set_child_size = BBox.set_child_size obj
-  method set_child_ipadding = BBox.set_child_ipadding obj
-end
-
-let button_box dir ?spacing ?child_width ?child_height ?child_ipadx
-    ?child_ipady ?layout ?border_width ?width ?height ?packing ?show ()=
-  let w = BBox.create dir in
-  BBox.set w ?spacing ?child_width ?child_height ?child_ipadx
-    ?child_ipady ?layout;
-  Container.set w ?border_width ?width ?height;
-  pack_return (new button_box w) ~packing ~show
-
-class table obj = object
-  inherit container_full (obj : Gtk.table obj)
-  method attach ~left ~top ?right ?bottom ?expand ?fill ?shrink
-      ?xpadding ?ypadding w =
-    Table.attach obj (as_widget w) ~left ~top ?right ?bottom ?expand
-      ?fill ?shrink ?xpadding ?ypadding
-  method set_row_spacing = Table.set_row_spacing obj
-  method set_col_spacing = Table.set_col_spacing obj
-  method set_row_spacings = Table.set_row_spacings obj
-  method set_col_spacings = Table.set_col_spacings obj
-  method set_homogeneous = Table.set_homogeneous obj
-end
-
-let table ~rows ~columns ?homogeneous ?row_spacings ?col_spacings
-    ?border_width ?width ?height ?packing ?show () =
-  let w = Table.create ~rows ~columns ?homogeneous () in
-  Table.set w ?row_spacings ?col_spacings;
-  Container.set w ?border_width ?width ?height;
-  pack_return (new table w) ~packing ~show
-
-class fixed obj = object
-  inherit container_full (obj : Gtk.fixed obj)
-  method event = new GObj.event_ops obj
-  method put w = Fixed.put obj (as_widget w)
-  method move w = Fixed.move obj (as_widget w)
-end
-
-let fixed ?border_width ?width ?height ?packing ?show () =
-  let w = Fixed.create () in
-  Container.set w ?border_width ?width ?height;
-  pack_return (new fixed w) ~packing ~show
-
-class layout obj = object
-  inherit container_full (obj : Gtk.layout obj)
-  method event = new GObj.event_ops obj
-  method put w = Layout.put obj (as_widget w)
-  method move w = Layout.move obj (as_widget w)
-  method set_hadjustment adj =
-    Layout.set_hadjustment obj (GData.as_adjustment adj)
-  method set_vadjustment adj =
-    Layout.set_vadjustment obj (GData.as_adjustment adj)
-  method set_width width = Layout.set_size obj ~width
-  method set_height height = Layout.set_size obj ~height
-  method hadjustment = new GData.adjustment (Layout.get_hadjustment obj)
-  method vadjustment = new GData.adjustment (Layout.get_vadjustment obj)
-  method freeze () = Layout.freeze obj
-  method thaw () = Layout.thaw obj
-  method width = Layout.get_width obj
-  method height = Layout.get_height obj
-end
-
-let layout ?hadjustment ?vadjustment ?layout_width ?layout_height
-    ?border_width ?width ?height ?packing ?show () =
-  let w = Layout.create
-      (Gpointer.optboxed (may_map ~f:GData.as_adjustment hadjustment))
-      (Gpointer.optboxed (may_map ~f:GData.as_adjustment vadjustment)) in
-  if layout_width <> None || layout_height <> None then
-    Layout.set_size w ?width:layout_width ?height:layout_height;
-  Container.set w ?border_width ?width ?height;
-  pack_return (new layout w) ~packing ~show
-
-
-class packer obj = object
-  inherit container_full (obj : Gtk.packer obj)
-  method pack ?side ?anchor ?expand ?fill
-      ?border_width ?pad_x ?pad_y ?i_pad_x ?i_pad_y w =
-    let options = Packer.build_options ?expand ?fill () in
-    if border_width == None && pad_x == None && pad_y == None &&
-      i_pad_x == None && i_pad_y == None
-      then Packer.add_defaults obj (as_widget w) ?side ?anchor ~options
-      else Packer.add obj (as_widget w) ?side ?anchor ~options
-	  ?border_width ?pad_x ?pad_y ?i_pad_x ?i_pad_y
-  method set_child_packing ?side ?anchor ?expand ?fill
-      ?border_width ?pad_x ?pad_y ?i_pad_x ?i_pad_y w =
-    Packer.set_child_packing obj (as_widget w) ?side ?anchor
-      ~options:(Packer.build_options ?expand ?fill ())
-      ?border_width ?pad_x ?pad_y ?i_pad_x ?i_pad_y
-  method reorder_child w = Packer.reorder_child obj (as_widget w)
-  method set_spacing = Packer.set_spacing obj
-  method set_defaults = Packer.set_defaults obj
-end
-
-let packer ?spacing ?border_width ?width ?height ?packing ?show () =
-  let w = Packer.create () in
-  may spacing ~f:(Packer.set_spacing w);
-  Container.set w ?border_width ?width ?height;
-  pack_return (new packer w) ~packing ~show
-
-class paned obj = object
-  inherit container_full (obj : Gtk.paned obj)
-  method event = new GObj.event_ops obj
-  method add w =
-    if List.length (Container.children obj) = 2 then
-      raise(Error "Gpack.paned#add: already full");
-    Container.add obj (as_widget w)
-  method add1 w =
-    try ignore(Paned.child1 obj); raise(Error "GPack.paned#add1: already full")
-    with _ -> Paned.add1 obj (as_widget w)
-  method add2 w =
-    try ignore(Paned.child2 obj); raise(Error "GPack.paned#add2: already full")
-    with _ -> Paned.add2 obj (as_widget w)
-  method set_handle_size = Paned.set_handle_size obj
-  method set_gutter_size = Paned.set_gutter_size obj
-  method child1 = new widget (Paned.child1 obj)
-  method child2 = new widget (Paned.child2 obj)
-  method handle_size = Paned.handle_size obj
-  method gutter_size = Paned.gutter_size obj
-end
-
-let paned dir ?handle_size ?gutter_size
-    ?border_width ?width ?height ?packing ?show () =
-  let w = Paned.create dir in
-  Paned.set w ?handle_size ?gutter_size;
-  Container.set w ?border_width ?width ?height;
-  pack_return (new paned w) ~packing ~show
-
-class notebook_signals obj = object
-  inherit GContainer.container_signals obj
-  method switch_page =
-    GtkSignal.connect obj ~sgn:Notebook.Signals.switch_page ~after
-end
-
-class notebook obj = object (self)
-  inherit GContainer.container obj
-  method event = new GObj.event_ops obj
-  method connect = new notebook_signals obj
-  method insert_page ?tab_label ?menu_label ~pos child =
-      Notebook.insert_page obj (as_widget child) ~pos
-	~tab_label:(Gpointer.may_box tab_label ~f:as_widget)
-	~menu_label:(Gpointer.may_box menu_label ~f:as_widget)
-  method append_page = self#insert_page ~pos:(-1)
-  method prepend_page = self#insert_page ~pos:0
-  method remove_page = Notebook.remove_page obj
-  method current_page = Notebook.get_current_page obj
-  method goto_page = Notebook.set_page obj
-  method previous_page () = Notebook.prev_page obj
-  method next_page () = Notebook.next_page obj
-  method set_tab_pos = Notebook.set_tab_pos obj
-  method set_show_tabs = Notebook.set_show_tabs obj
-  method set_homogeneous_tabs = Notebook.set_homogeneous_tabs obj
-  method set_show_border = Notebook.set_show_border obj
-  method set_scrollable = Notebook.set_scrollable obj
-  method set_tab_border = Notebook.set_tab_border obj
-  method set_popup = Notebook.set_popup obj
-  method page_num w = Notebook.page_num obj (as_widget w)
-  method get_nth_page n = new widget (Notebook.get_nth_page obj n)
-  method get_tab_label w =
-    new widget (Notebook.get_tab_label obj (as_widget w))
-  method get_menu_label w =
-    new widget (Notebook.get_tab_label obj (as_widget w))
-  method set_page ?tab_label ?menu_label page =
-    let child = as_widget page in
-    may tab_label
-      ~f:(fun lbl -> Notebook.set_tab_label obj child (as_widget lbl));
-    may menu_label
-      ~f:(fun lbl -> Notebook.set_menu_label obj child (as_widget lbl))
-end
-
-let notebook ?tab_pos ?tab_border ?show_tabs ?homogeneous_tabs
-    ?show_border ?scrollable ?popup
-    ?border_width ?width ?height ?packing ?show () =
-  let w = Notebook.create () in
-  Notebook.set w ?tab_pos ?tab_border ?show_tabs
-    ?homogeneous_tabs ?show_border ?scrollable ?popup;
-  Container.set w ?border_width ?width ?height;
-  pack_return (new notebook w) ~packing ~show