]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/tiMisc.ml
Initial revision
[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
new file mode 100644 (file)
index 0000000..f4f435a
--- /dev/null
@@ -0,0 +1,176 @@
+
+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