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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/gToolbar2.ml b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/gToolbar2.ml
deleted file mode 100644
index c2ad0a854..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/gToolbar2.ml
+++ /dev/null
@@ -1,65 +0,0 @@
-(* $Id$ *)
-
-open Gaux
-open Gtk
-open GtkBase
-open GtkButton
-open GObj
-open GContainer
-open GButton
-
-module Toolbar2 = struct
-  external set_text : [>`toolbar] obj -> string -> int -> unit =
-    "ml_gtk_toolbar2_set_text"
-  external set_icon : [>`toolbar] obj -> [>`widget] obj -> int -> unit =
-    "ml_gtk_toolbar2_set_icon"
-end
-
-class toolbar2 obj = object
-  inherit container_full (obj : Gtk.toolbar obj)
-  method insert_widget ?tooltip ?tooltip_private ?pos w =
-    Toolbar.insert_widget obj (as_widget w) ?tooltip ?tooltip_private ?pos
-
-  method insert_button ?text ?tooltip ?tooltip_private ?icon
-      ?pos ?callback () =
-    let icon = may_map icon ~f:as_widget in
-    new button
-      (Toolbar.insert_button obj ~kind:`BUTTON ?icon ?text
-	 ?tooltip ?tooltip_private ?pos ?callback ())
-
-  method insert_toggle_button ?text ?tooltip ?tooltip_private ?icon
-      ?pos ?callback () =
-    let icon = may_map icon ~f:as_widget in
-    new toggle_button
-      (ToggleButton.cast
-	 (Toolbar.insert_button obj ~kind:`TOGGLEBUTTON ?icon ?text
-	    ?tooltip ?tooltip_private ?pos ?callback ()))
-
-  method insert_radio_button ?text ?tooltip ?tooltip_private ?icon
-      ?pos ?callback () =
-    let icon = may_map icon ~f:as_widget in
-    new radio_button
-      (RadioButton.cast
-	 (Toolbar.insert_button obj ~kind:`RADIOBUTTON ?icon ?text
-	    ?tooltip ?tooltip_private ?pos ?callback ()))
-
-  method insert_space = Toolbar.insert_space obj
-
-  method set_orientation = Toolbar.set_orientation obj
-  method set_style = Toolbar.set_style obj
-  method set_space_size = Toolbar.set_space_size obj
-  method set_space_style = Toolbar.set_space_style obj
-  method set_tooltips = Toolbar.set_tooltips obj
-  method set_button_relief = Toolbar.set_button_relief obj
-  method button_relief = Toolbar.get_button_relief obj
-  method set_text = Toolbar2.set_text obj
-  method set_icon (icon : widget) = Toolbar2.set_icon obj icon#as_widget
-end
-
-let toolbar2 ?(orientation=`HORIZONTAL) ?style
-    ?space_size ?space_style ?tooltips ?button_relief
-    ?border_width ?width ?height ?packing ?show () =
-  let w = Toolbar.create orientation ?style () in
-  Toolbar.set w ?space_size ?space_style ?tooltips ?button_relief;
-  Container.set w ?border_width ?width ?height;
-  pack_return (new toolbar2 w) ~packing ~show