X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fml_gdk.h;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fml_gdk.h;h=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=5d699ace29fb3a656ee1cf702a78df130c336888;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/ml_gdk.h b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/ml_gdk.h
deleted file mode 100644
index 5d699ace2..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/ml_gdk.h
+++ /dev/null
@@ -1,53 +0,0 @@
-/* $Id$ */
-
-#define GdkColormap_val(val) ((GdkColormap*)Pointer_val(val))
-extern value Val_GdkColormap (GdkColormap *);
-
-#define GdkColor_val(val) ((GdkColor*)MLPointer_val(val))
-#define Val_GdkColor Val_pointer
-
-#define GdkRectangle_val(val) ((GdkRectangle*)MLPointer_val(val))
-#define Val_GdkRectangle Val_pointer
-
-#define GdkDrawable_val(val) ((GdkDrawable*)Pointer_val(val))
-
-#define GdkWindow_val(val) ((GdkWindow*)Pointer_val(val))
-extern value Val_GdkWindow (GdkWindow *);
-
-#define GdkCursor_val(val) ((GdkCursor*)Pointer_val(val))
-#define Val_GdkCursor Val_pointer
-
-#define GdkPixmap_val(val) ((GdkPixmap*)Pointer_val(val))
-extern value Val_GdkPixmap (GdkPixmap *);
-
-#define GdkBitmap_val(val) ((GdkBitmap*)Pointer_val(val))
-extern value Val_GdkBitmap (GdkBitmap *);
-
-extern GdkImage *GdkImage_val (value); /* check argument */
-extern value Val_GdkImage (GdkImage *); /* finalizer is destroy! */
-
-#define GdkFont_val(val) ((GdkFont*)Pointer_val(val))
-extern value Val_GdkFont (GdkFont *);
-
-extern GdkRegion *GdkRegion_val (value); /* check argument */
-extern value Val_GdkRegion (GdkRegion *); /* finalizer is destroy! */
-
-#define GdkGC_val(val) ((GdkGC*)Pointer_val(val))
-extern value Val_GdkGC (GdkGC *);
-
-#define GdkEvent_val (GdkEvent*)MLPointer_val
-
-#define GdkVisual_val(val) ((GdkVisual*) val)
-#define Val_GdkVisual(visual) ((value) visual)
-
-#define Val_XID copy_int32
-#define XID_val Int32_val
-
-extern int OptFlags_GdkModifier_val (value);
-extern int Flags_Event_mask_val (value);
-extern lookup_info ml_table_extension_events[];
-#define Extension_events_val(key) ml_lookup_to_c (ml_table_extension_events, key)
-
-#define GdkDragContext_val(val) ((GdkDragContext*)Pointer_val(val))
-extern value Val_GdkDragContext (GdkDragContext *);
-extern int Flags_GdkDragAction_val (value);