]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/tiWidget.ml
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / applications / radtest / tiWidget.ml
1
2 let new_class_list (* :
3   (string *
4   (name:string -> ?listprop:string list ->
5    parent_tree:GTree2.tree -> pos:int ->
6    ?insert_evbox:bool ->
7    
8    TiBase.window_and_tree0 -> TiBase.tiwidget0)) list *)
9 = [
10   "window",          TiWindow.new_tiwindow;
11   "hbox",            TiPack.new_tihbox;
12   "vbox",            TiPack.new_tivbox;
13   "hbutton_box",     TiPack.new_tihbutton_box;
14   "vbutton_box",     TiPack.new_tivbutton_box;
15   "fixed",           TiPack.new_tifixed;
16   "notebook",        TiPack.new_tinotebook;
17   "button",          TiButton.new_tibutton;
18   "check_button",    TiButton.new_ticheck_button;
19   "toggle_button",   TiButton.new_titoggle_button;
20   "radio_button",    TiButton.new_tiradio_button;
21   "toolbar",         TiButton.new_toolbar;
22   "hseparator",      TiMisc.new_tihseparator;
23   "vseparator",      TiMisc.new_tivseparator;
24   "statusbar",       TiMisc.new_tistatusbar;
25   "label",           TiMisc.new_tilabel;
26   "color_selection", TiMisc.new_ticolor_selection;
27   "pixmap",          TiMisc.new_tipixmap;
28   "frame",           TiBin.new_tiframe;
29   "aspect_frame",    TiBin.new_tiaspect_frame;
30   "handle_box",      TiBin.new_handle_box;
31   "viewport",        TiBin.new_viewport;
32   "event_box",       TiBin.new_event_box;
33   "scrolled_window", TiBin.new_tiscrolled_window;
34   "entry",           TiEdit.new_tientry;
35   "spin_button",     TiEdit.new_tispin_button;
36   "combo",           TiEdit.new_ticombo;
37   "clist",           TiList.new_clist
38 ]
39
40 let _ =
41   TiBase.new_tiwidget :=
42     (fun ~classe ?(pos = -1) ~name ~parent_tree ?insert_evbox ?(listprop = []) -> (List.assoc classe new_class_list) ~pos ~name ~parent_tree ?insert_evbox ~listprop)
43