-(* $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
- ]