--- /dev/null
+(* $Id$ *)
+
+type gdkEventType = "GDK_"
+ [ `NOTHING | `DELETE | `DESTROY | `EXPOSE | `MOTION_NOTIFY | `BUTTON_PRESS
+ | `TWO_BUTTON_PRESS "GDK_2BUTTON_PRESS"
+ | `THREE_BUTTON_PRESS "GDK_3BUTTON_PRESS"
+ | `BUTTON_RELEASE | `KEY_PRESS
+ | `KEY_RELEASE | `ENTER_NOTIFY | `LEAVE_NOTIFY | `FOCUS_CHANGE
+ | `CONFIGURE | `MAP | `UNMAP | `PROPERTY_NOTIFY | `SELECTION_CLEAR
+ | `SELECTION_REQUEST | `SELECTION_NOTIFY | `PROXIMITY_IN
+ | `PROXIMITY_OUT
+ | `DRAG_ENTER | `DRAG_LEAVE | `DRAG_MOTION | `DRAG_STATUS
+ | `DROP_START | `DROP_FINISHED | `CLIENT_EVENT | `VISIBILITY_NOTIFY
+ | `NO_EXPOSE ]
+
+type event_mask = "GDK_"
+ [ `EXPOSURE
+ | `POINTER_MOTION | `POINTER_MOTION_HINT
+ | `BUTTON_MOTION | `BUTTON1_MOTION | `BUTTON2_MOTION | `BUTTON3_MOTION
+ | `BUTTON_PRESS | `BUTTON_RELEASE
+ | `KEY_PRESS | `KEY_RELEASE
+ | `ENTER_NOTIFY | `LEAVE_NOTIFY | `FOCUS_CHANGE
+ | `STRUCTURE | `PROPERTY_CHANGE | `VISIBILITY_NOTIFY
+ | `PROXIMITY_IN | `PROXIMITY_OUT | `SUBSTRUCTURE
+ | `ALL_EVENTS ] "_MASK"
+
+type extension_events = "GDK_EXTENSION_EVENTS_"
+ [ `NONE | `ALL | `CURSOR ]
+
+type gdkVisibilityState = "GDK_VISIBILITY_"
+ [ `UNOBSCURED | `PARTIAL | `FULLY_OBSCURED ]
+
+type gdkInputSource = "GDK_SOURCE_"
+ [ `MOUSE | `PEN | `ERASER | `CURSOR ]
+
+type gdkCrossingMode = "GDK_CROSSING_"
+ [ `NORMAL | `GRAB | `UNGRAB ]
+
+type gdkNotifyType = "GDK_NOTIFY_"
+ [ `ANCESTOR | `VIRTUAL | `INFERIOR | `NONLINEAR | `NONLINEAR_VIRTUAL
+ | `UNKNOWN ]
+
+type gdkFillRule = "GDK_"
+ [ `EVEN_ODD_RULE | `WINDING_RULE ]
+
+type gdkOverlapType = "GDK_OVERLAP_RECTANGLE_"
+ [ `IN | `OUT | `PART ]
+
+type gdkFunction = "GDK_"
+ [ `COPY | `INVERT | `XOR ]
+
+type gdkFill = "GDK_"
+ [ `SOLID | `TILED | `STIPPLED | `OPAQUE_STIPPLED ]
+
+type gdkSubwindowMode = "GDK_"
+ [ `CLIP_BY_CHILDREN | `INCLUDE_INFERIORS ]
+
+type gdkLineStyle = "GDK_LINE_"
+ [ `SOLID | `ON_OFF_DASH | `DOUBLE_DASH ]
+
+type gdkCapStyle = "GDK_CAP_"
+ [ `NOT_LAST | `BUTT | `ROUND | `PROJECTING ]
+
+type gdkJoinStyle = "GDK_JOIN_"
+ [ `MITER | `ROUND | `BEVEL ]
+
+type gdkModifier = "GDK_"
+ [ `SHIFT | `LOCK | `CONTROL | `MOD1 | `MOD2 | `MOD3 | `MOD4 | `MOD5
+ | `BUTTON1 | `BUTTON2 | `BUTTON3 | `BUTTON4 | `BUTTON5 ] "_MASK"
+
+type gdkImageType = "GDK_IMAGE_"
+ [ `NORMAL | `SHARED | `FASTEST ]
+
+type gdkVisualType = "GDK_VISUAL_"
+ [ `STATIC_GRAY | `GRAYSCALE | `STATIC_COLOR | `PSEUDO_COLOR
+ | `TRUE_COLOR | `DIRECT_COLOR ]
+
+type gdkFontType = "GDK_FONT_"
+ [ `FONT | `FONTSET ]
+
+type gdkDragAction = "GDK_ACTION_"
+ [ `DEFAULT | `COPY | `MOVE | `LINK | `PRIVATE | `ASK ]
+
+type gdkCursorType = "GDK_" [
+ | `NUM_GLYPHS
+ | `X_CURSOR
+ | `ARROW
+ | `BASED_ARROW_DOWN
+ | `BASED_ARROW_UP
+ | `BOAT
+ | `BOGOSITY
+ | `BOTTOM_LEFT_CORNER
+ | `BOTTOM_RIGHT_CORNER
+ | `BOTTOM_SIDE
+ | `BOTTOM_TEE
+ | `BOX_SPIRAL
+ | `CENTER_PTR
+ | `CIRCLE
+ | `CLOCK
+ | `COFFEE_MUG
+ | `CROSS
+ | `CROSS_REVERSE
+ | `CROSSHAIR
+ | `DIAMOND_CROSS
+ | `DOT
+ | `DOTBOX
+ | `DOUBLE_ARROW
+ | `DRAFT_LARGE
+ | `DRAFT_SMALL
+ | `DRAPED_BOX
+ | `EXCHANGE
+ | `FLEUR
+ | `GOBBLER
+ | `GUMBY
+ | `HAND1
+ | `HAND2
+ | `HEART
+ | `ICON
+ | `IRON_CROSS
+ | `LEFT_PTR
+ | `LEFT_SIDE
+ | `LEFT_TEE
+ | `LEFTBUTTON
+ | `LL_ANGLE
+ | `LR_ANGLE
+ | `MAN
+ | `MIDDLEBUTTON
+ | `MOUSE
+ | `PENCIL
+ | `PIRATE
+ | `PLUS
+ | `QUESTION_ARROW
+ | `RIGHT_PTR
+ | `RIGHT_SIDE
+ | `RIGHT_TEE
+ | `RIGHTBUTTON
+ | `RTL_LOGO
+ | `SAILBOAT
+ | `SB_DOWN_ARROW
+ | `SB_H_DOUBLE_ARROW
+ | `SB_LEFT_ARROW
+ | `SB_RIGHT_ARROW
+ | `SB_UP_ARROW
+ | `SB_V_DOUBLE_ARROW
+ | `SHUTTLE
+ | `SIZING
+ | `SPIDER
+ | `SPRAYCAN
+ | `STAR
+ | `TARGET
+ | `TCROSS
+ | `TOP_LEFT_ARROW
+ | `TOP_LEFT_CORNER
+ | `TOP_RIGHT_CORNER
+ | `TOP_SIDE
+ | `TOP_TEE
+ | `TREK
+ | `UL_ANGLE
+ | `UMBRELLA
+ | `UR_ANGLE
+ | `WATCH
+ | `XTERM
+ ]