X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fapplications%2Fradtest%2FtiWidget.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fapplications%2Fradtest%2FtiWidget.ml;h=0000000000000000000000000000000000000000;hp=5a6e3ac01737a266d9fde41fe930209a5647f928;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/tiWidget.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/tiWidget.ml
deleted file mode 100644
index 5a6e3ac01..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/tiWidget.ml
+++ /dev/null
@@ -1,43 +0,0 @@
-
-let new_class_list (* :
-  (string *
-  (name:string -> ?listprop:string list ->
-   parent_tree:GTree2.tree -> pos:int ->
-   ?insert_evbox:bool ->
-   
-   TiBase.window_and_tree0 -> TiBase.tiwidget0)) list *)
-= [
-  "window",          TiWindow.new_tiwindow;
-  "hbox",            TiPack.new_tihbox;
-  "vbox",            TiPack.new_tivbox;
-  "hbutton_box",     TiPack.new_tihbutton_box;
-  "vbutton_box",     TiPack.new_tivbutton_box;
-  "fixed",           TiPack.new_tifixed;
-  "notebook",        TiPack.new_tinotebook;
-  "button",          TiButton.new_tibutton;
-  "check_button",    TiButton.new_ticheck_button;
-  "toggle_button",   TiButton.new_titoggle_button;
-  "radio_button",    TiButton.new_tiradio_button;
-  "toolbar",         TiButton.new_toolbar;
-  "hseparator",      TiMisc.new_tihseparator;
-  "vseparator",      TiMisc.new_tivseparator;
-  "statusbar",       TiMisc.new_tistatusbar;
-  "label",           TiMisc.new_tilabel;
-  "color_selection", TiMisc.new_ticolor_selection;
-  "pixmap",          TiMisc.new_tipixmap;
-  "frame",           TiBin.new_tiframe;
-  "aspect_frame",    TiBin.new_tiaspect_frame;
-  "handle_box",      TiBin.new_handle_box;
-  "viewport",        TiBin.new_viewport;
-  "event_box",       TiBin.new_event_box;
-  "scrolled_window", TiBin.new_tiscrolled_window;
-  "entry",           TiEdit.new_tientry;
-  "spin_button",     TiEdit.new_tispin_button;
-  "combo",           TiEdit.new_ticombo;
-  "clist",           TiList.new_clist
-]
-
-let _ =
-  TiBase.new_tiwidget :=
-    (fun ~classe ?(pos = -1) ~name ~parent_tree ?insert_evbox ?(listprop = []) -> (List.assoc classe new_class_list) ~pos ~name ~parent_tree ?insert_evbox ~listprop)
-