helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/ml_gdk.h

   1 /* $Id$ */
   2
   3 #define GdkColormap_val(val) ((GdkColormap*)Pointer_val(val))
   4 extern value Val_GdkColormap (GdkColormap *);
   5
   6 #define GdkColor_val(val) ((GdkColor*)MLPointer_val(val))
   7 #define Val_GdkColor Val_pointer
   8
   9 #define GdkRectangle_val(val) ((GdkRectangle*)MLPointer_val(val))
  10 #define Val_GdkRectangle Val_pointer
  11
  12 #define GdkDrawable_val(val) ((GdkDrawable*)Pointer_val(val))
  13
  14 #define GdkWindow_val(val) ((GdkWindow*)Pointer_val(val))
  15 extern value Val_GdkWindow (GdkWindow *);
  16
  17 #define GdkCursor_val(val) ((GdkCursor*)Pointer_val(val))
  18 #define Val_GdkCursor Val_pointer
  19
  20 #define GdkPixmap_val(val) ((GdkPixmap*)Pointer_val(val))
  21 extern value Val_GdkPixmap (GdkPixmap *);
  22
  23 #define GdkBitmap_val(val) ((GdkBitmap*)Pointer_val(val))
  24 extern value Val_GdkBitmap (GdkBitmap *);
  25
  26 extern GdkImage *GdkImage_val (value); /* check argument */
  27 extern value Val_GdkImage (GdkImage *); /* finalizer is destroy! */
  28
  29 #define GdkFont_val(val) ((GdkFont*)Pointer_val(val))
  30 extern value Val_GdkFont (GdkFont *);
  31
  32 extern GdkRegion *GdkRegion_val (value); /* check argument */
  33 extern value Val_GdkRegion (GdkRegion *); /* finalizer is destroy! */
  34
  35 #define GdkGC_val(val) ((GdkGC*)Pointer_val(val))
  36 extern value Val_GdkGC (GdkGC *);
  37
  38 #define GdkEvent_val (GdkEvent*)MLPointer_val
  39
  40 #define GdkVisual_val(val) ((GdkVisual*) val)
  41 #define Val_GdkVisual(visual) ((value) visual)
  42
  43 #define Val_XID copy_int32
  44 #define XID_val Int32_val
  45
  46 extern int OptFlags_GdkModifier_val (value);
  47 extern int Flags_Event_mask_val (value);
  48 extern lookup_info ml_table_extension_events[];
  49 #define Extension_events_val(key) ml_lookup_to_c (ml_table_extension_events, key)
  50
  51 #define GdkDragContext_val(val) ((GdkDragContext*)Pointer_val(val))
  52 extern value Val_GdkDragContext (GdkDragContext *);
  53 extern int Flags_GdkDragAction_val (value);