]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/tiMisc.ml
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / applications / radtest / tiMisc.ml
diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/tiMisc.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/tiMisc.ml
deleted file mode 100644 (file)
index f4f435a..0000000
+++ /dev/null
@@ -1,176 +0,0 @@
-
-open Utils
-open Property
-
-open TiBase
-open TiContainer
-
-
-class tiseparator ~(dir : Gtk.Tags.orientation) ~(widget : GObj.widget_full)
-    ~name ~parent_tree ~pos ?(insert_evbox=true) parent_window =
-object
-  val separator = widget
-  inherit tiwidget ~name ~widget ~parent_tree ~pos parent_window ~insert_evbox
-
-  method private class_name =
-    match dir with `VERTICAL -> "GMisc.separator `VERTICAL"
-    | `HORIZONTAL -> "GMisc.separator `HORIZONTAL"
-  initializer
-    classe <-
-    (match dir with `VERTICAL -> "vseparator" | `HORIZONTAL -> "hseparator")
-
-end
-
-let new_tihseparator ~name ?(listprop = []) =
-  new tiseparator ~dir: `HORIZONTAL ~name
-    ~widget:(GMisc.separator `HORIZONTAL ())
-let new_tivseparator ~name ?(listprop = []) = 
-  new tiseparator ~dir: `VERTICAL ~name
-    ~widget:(GMisc.separator `VERTICAL ())
-
-
-
-
-class tistatusbar ~(widget : GMisc.statusbar) ~name ~parent_tree ~pos
-    ?(insert_evbox=true) parent_window =
-object(self)
-  val statusbar = widget
-  inherit ticontainer ~name ~widget ~insert_evbox
-      ~parent_tree ~pos parent_window as widget
-
-  method private class_name = "GMisc.statusbar"
-
-  initializer
-    classe <- "statusbar"
-end
-
-let new_tistatusbar ~name ?(listprop = []) =
-  new tistatusbar ~widget:(GMisc.statusbar ()) ~name
-
-
-
-class timisc ~(widget : GMisc.misc) ~name ~parent_tree ~pos
-    ?(insert_evbox=true) parent_window =
-object(self)
-  val misc = widget
-  inherit tiwidget ~name ~widget ~insert_evbox
-      ~parent_tree ~pos parent_window as widget
-
-  method private class_name = failwith "timisc::class_name"
-
-  initializer
-    proplist <- proplist @
-      [ "x_alignment",
-       new prop_float ~name:"x alignment" ~init:"0.5" ~min:0. ~max:1.
-         ~set:(fun v -> misc#set_alignment ~x:v (); true);
-       "y_alignment",
-       new prop_float ~name:"y alignment" ~init:"0.5" ~min:0. ~max:1.
-         ~set:(fun v -> misc#set_alignment ~y:v (); true);
-       "x_padding",
-       new prop_int ~name:"x padding" ~init:"0.5"
-         ~set:(fun v -> misc#set_padding ~x:v (); true);
-       "y_padding",
-       new prop_int ~name:"y padding" ~init:"0.5"
-         ~set:(fun v -> misc#set_padding ~y:v (); true)
-
-      ]
-end
-
-
-class tiarrow ~(widget : GMisc.arrow) ~name ~parent_tree ~pos
-    ?(insert_evbox=true) parent_window =
-object(self)
-  val arrow = widget
-  inherit timisc ~name ~widget:(widget :> GMisc.misc) ~insert_evbox
-      ~parent_tree ~pos parent_window as widget
-
-  method private class_name = "GMisc.arrow"
-  initializer
-    classe <- "arrow";
-end
-
-
-(* TODO   fenetre demandant kind et shadow 
-let new_tiarrow ~name = new tiarrow ~widget:(GMisc.arrow ()) ~name
-*)
-
-
-class tilabel ~(widget : GMisc.label) ~name ~parent_tree ~pos
-    ?(insert_evbox=true) parent_window =
-object(self)
-  val labelw = widget
-  inherit timisc ~name ~widget:(widget :> GMisc.misc) ~insert_evbox
-      ~parent_tree ~pos parent_window as widget
-
-  method private class_name = "GMisc.label"
-
-  method private get_mandatory_props = [ "text" ]
-
-  initializer
-    classe <- "label";
-    proplist <-  proplist @
-      [ "text",
-       new prop_string ~name:"text" ~init:name ~set:(ftrue labelw#set_text);
-       "line_wrap",
-       new prop_bool ~name:"line_wrap" ~init:"true"
-         ~set:(ftrue labelw#set_line_wrap)
-      ]
-end
-
-let new_tilabel ~name ?(listprop = []) =
-  new tilabel ~widget:(GMisc.label ~text:name ()) ~name
-
-
-
-
-
-class ticolor_selection ~(widget : GMisc.color_selection) ~name ~parent_tree ~pos
-    ?(insert_evbox=true) parent_window =
-object(self)
-  val color_selection = widget
-  inherit tiwidget ~name ~widget ~insert_evbox
-      ~parent_tree ~pos parent_window as widget
-
-  method private class_name = "GMisc.color_selection"
-
-  initializer
-    classe <- "color_selection";
-    proplist <-  proplist @
-      [ "use_opacity",
-       new prop_bool ~name:"use_opacity" ~init:"false"
-         ~set:(ftrue color_selection#set_opacity);
-       "update_policy",
-       new prop_update_type ~name:"update_policy" ~init:"CONTINUOUS"
-         ~set:(ftrue color_selection#set_update_policy)
-      ]
-end
-
-let new_ticolor_selection ~name ?(listprop = []) =
-  new ticolor_selection ~widget:(GMisc.color_selection ()) ~name
-
-
-class tipixmap ~(widget : GMisc.pixmap) ~name ~parent_tree ~pos
-    ?(insert_evbox=true) parent_window =
-object(self)
-  val pixmap = widget
-  inherit timisc ~name ~widget:(widget :> GMisc.misc) ~insert_evbox
-      ~parent_tree ~pos parent_window as widget
-
-  method private class_name = "GMisc.pixmap"
-  initializer
-    classe <- "pixmap";
-    proplist <- proplist @
-      [ "file",
-       new prop_file ~name:"file" ~init:""
-         ~set:(fun v ->
-           pixmap#set_pixmap
-             (GDraw.pixmap_from_xpm ~window:parent_window#tiwin#widget
-                ~file:v ());
-           true)
-      ]
-end
-
-let new_tipixmap ~name ?(listprop = []) ~parent_tree ~pos ?(insert_evbox=true) (parent_window : window_and_tree0) =
-  new tipixmap ~widget:(GMisc.pixmap (GDraw.pixmap_from_xpm 
-   ~window:parent_window#tiwin#widget ~file:"pixmap.xpm" ()) ()) ~name
-    ~parent_tree ~pos ~insert_evbox parent_window