X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fml_gtkbin.c;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fml_gtkbin.c;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=9b797a6c96ca10b4ce74e63f7686edd063948801;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkbin.c b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkbin.c
deleted file mode 100644
index 9b797a6c9..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gtkbin.c
+++ /dev/null
@@ -1,118 +0,0 @@
-/* $Id$ */
-
-#include <string.h>
-#include <gtk/gtk.h>
-#include <caml/mlvalues.h>
-#include <caml/alloc.h>
-#include <caml/memory.h>
-#include <caml/callback.h>
-#include <caml/fail.h>
-
-#include "wrappers.h"
-#include "ml_glib.h"
-#include "ml_gdk.h"
-#include "ml_gtk.h"
-#include "gtk_tags.h"
-
-/* gtkalignment.h */
-
-#define GtkAlignment_val(val) check_cast(GTK_ALIGNMENT,val)
-ML_4 (gtk_alignment_new, Float_val, Float_val, Float_val, Float_val,
-      Val_GtkWidget_sink)
-value ml_gtk_alignment_set (value x, value y,
-			   value xscale, value yscale, value val)
-{
-    GtkAlignment *alignment = GtkAlignment_val(val);
-    gtk_alignment_set (alignment,
-		       Option_val(x, Float_val, alignment->xalign),
-		       Option_val(y, Float_val, alignment->yalign),
-		       Option_val(xscale, Float_val, alignment->xscale),
-		       Option_val(yscale, Float_val, alignment->xscale));
-    return Val_unit;
-}
-
-/* gtkeventbox.h */
-
-ML_0 (gtk_event_box_new, Val_GtkWidget_sink)
-
-/* gtkframe.h */
-
-#define GtkFrame_val(val) check_cast(GTK_FRAME,val)
-ML_1 (gtk_frame_new, Optstring_val, Val_GtkWidget_sink)
-ML_2 (gtk_frame_set_label, GtkFrame_val, Optstring_val, Unit)
-ML_3 (gtk_frame_set_label_align, GtkFrame_val, Float_val, Float_val, Unit)
-ML_2 (gtk_frame_set_shadow_type, GtkFrame_val, Shadow_type_val, Unit)
-Make_Extractor (gtk_frame_get, GtkFrame_val, label_xalign, copy_double)
-Make_Extractor (gtk_frame_get, GtkFrame_val, label_yalign, copy_double)
-
-/* gtkaspectframe.h */
-
-#define GtkAspectFrame_val(val) check_cast(GTK_ASPECT_FRAME,val)
-ML_5 (gtk_aspect_frame_new, Optstring_val,
-      Float_val, Float_val, Float_val, Bool_val, Val_GtkWidget_sink)
-ML_5 (gtk_aspect_frame_set, GtkAspectFrame_val, Float_val, Float_val,
-      Float_val, Bool_val, Unit)
-Make_Extractor (gtk_aspect_frame_get, GtkAspectFrame_val, xalign, copy_double)
-Make_Extractor (gtk_aspect_frame_get, GtkAspectFrame_val, yalign, copy_double)
-Make_Extractor (gtk_aspect_frame_get, GtkAspectFrame_val, ratio, copy_double)
-Make_Extractor (gtk_aspect_frame_get, GtkAspectFrame_val, obey_child, Val_bool)
-
-/* gtkhandlebox.h */
-
-#define GtkHandleBox_val(val) check_cast(GTK_HANDLE_BOX,val)
-ML_0 (gtk_handle_box_new, Val_GtkWidget_sink)
-ML_2 (gtk_handle_box_set_shadow_type, GtkHandleBox_val, Shadow_type_val, Unit)
-ML_2 (gtk_handle_box_set_handle_position, GtkHandleBox_val, Position_val, Unit)
-ML_2 (gtk_handle_box_set_snap_edge, GtkHandleBox_val, Position_val, Unit)
-
-/* gtkinvisible.h */
-/* private class
-ML_0 (gtk_invisible_new, Val_GtkWidget_sink)
-*/
-
-/* gtkitem.h */
-
-ML_1 (gtk_item_select, GtkItem_val, Unit)
-ML_1 (gtk_item_deselect, GtkItem_val, Unit)
-ML_1 (gtk_item_toggle, GtkItem_val, Unit)
-
-/* gtkviewport.h */
-
-#define GtkViewport_val(val) check_cast(GTK_VIEWPORT,val)
-ML_2 (gtk_viewport_new, GtkAdjustment_val, GtkAdjustment_val,
-      Val_GtkWidget_sink)
-ML_1 (gtk_viewport_get_hadjustment, GtkViewport_val, Val_GtkWidget_sink)
-ML_1 (gtk_viewport_get_vadjustment, GtkViewport_val, Val_GtkWidget)
-ML_2 (gtk_viewport_set_hadjustment, GtkViewport_val, GtkAdjustment_val, Unit)
-ML_2 (gtk_viewport_set_vadjustment, GtkViewport_val, GtkAdjustment_val, Unit)
-ML_2 (gtk_viewport_set_shadow_type, GtkViewport_val, Shadow_type_val, Unit)
-
-/* gtkscrolledwindow.h */
-
-#define GtkScrolledWindow_val(val) check_cast(GTK_SCROLLED_WINDOW,val)
-ML_2 (gtk_scrolled_window_new, GtkAdjustment_val ,GtkAdjustment_val,
-      Val_GtkWidget_sink)
-ML_2 (gtk_scrolled_window_set_hadjustment, GtkScrolledWindow_val ,
-      GtkAdjustment_val, Unit)
-ML_2 (gtk_scrolled_window_set_vadjustment, GtkScrolledWindow_val ,
-      GtkAdjustment_val, Unit)
-ML_1 (gtk_scrolled_window_get_hadjustment, GtkScrolledWindow_val,
-      Val_GtkWidget)
-ML_1 (gtk_scrolled_window_get_vadjustment, GtkScrolledWindow_val,
-      Val_GtkWidget)
-ML_3 (gtk_scrolled_window_set_policy, GtkScrolledWindow_val,
-      Policy_type_val, Policy_type_val, Unit)
-Make_Extractor (gtk_scrolled_window_get, GtkScrolledWindow_val,
-		hscrollbar_policy, Val_policy_type)
-Make_Extractor (gtk_scrolled_window_get, GtkScrolledWindow_val,
-		vscrollbar_policy, Val_policy_type)
-ML_2 (gtk_scrolled_window_set_placement, GtkScrolledWindow_val,
-      Corner_type_val, Unit)
-ML_2 (gtk_scrolled_window_add_with_viewport, GtkScrolledWindow_val,
-      GtkWidget_val, Unit)
-
-/* gtksocket.h */
-
-#define GtkSocket_val(val) check_cast(GTK_SOCKET,val)
-ML_0 (gtk_socket_new, Val_GtkWidget_sink)
-ML_2 (gtk_socket_steal, GtkSocket_val, XID_val, Unit)