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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/tiList.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/tiList.ml
deleted file mode 100644
index 770e19b73..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/tiList.ml
+++ /dev/null
@@ -1,66 +0,0 @@
-
-open Utils
-open Property
-
-open TiBase
-
-class ticlist ~(widget : 'a GList.clist) ~name ~parent_tree ~pos
-    ?(insert_evbox=true) parent_window ~columns ~titles =
-  object(self)
-    val clist = widget
-    inherit tiwidget ~name ~widget ~parent_tree ~pos
-	~insert_evbox parent_window as widget
-
-    val param = parent_window#add_param
-
-    method private class_name = "GList.clist"
-
-    method private get_mandatory_props = [ "columns" ]
-
-    method remove_me_without_undo () =
-      parent_window#remove_param param;
-      widget#remove_me_without_undo ()
-
-    method emit_init_code formatter ~packing =
-      Format.fprintf formatter 
-	"@ @[<hv 2>let (%s : '%c GList.clist) =@ @[<hov 2>GList.clist"
-	name param;
-      List.iter self#get_mandatory_props ~f:
-	begin fun name ->
-	  Format.fprintf formatter "@ ~%s:%s" name
-	    (List.assoc name proplist)#code
-	end;
-      let packing = self#get_packing packing in
-      if packing <> "" then Format.fprintf formatter "@ %s" packing;
-      self#emit_prop_code formatter;
-      Format.fprintf formatter "@ ()@ in@]@]"
-
-
-    initializer
-      classe <- "clist";
-      proplist <- proplist @
-      [ "columns",
-	new prop_int ~name:"columns" ~init:(string_of_int columns)
-	  ~set:(fun _ -> true);
-	"titles",
-	new prop_clist_titles ~name:"titles" ~init:(String.concat ~sep:" " titles)
-	  ~set:(fun v ->
-	    let v = Array.of_list v in
-	    for i = 0 to Array.length v - 1 do
-	      clist#set_column i ~title:v.(i)
-	    done;
-	    true)
-      ]
-end
-
-let new_clist ~name ?(listprop = []) =
-  let c, lp = match listprop with
-  | [] -> (get_a_number "number of columns" 3), []
-  | ("columns", n)::tl -> (int_of_string n), tl
-  | _ -> failwith "new_clist"
-  in
-  let rtitles = ref [] in
-  for i = c downto 1 do rtitles := ("column" ^(string_of_int i)):: !rtitles done;
-  new ticlist ~name ~widget:(GList.clist ~columns:c ~titles: !rtitles ()) ~columns:c ~titles: !rtitles
-    
-