helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gdk_tags.var

   1 (* $Id$ *)
   2
   3 exception ml_raise_gdk
   4
   5 type gdkEventType = "GDK_"
   6   [ `NOTHING | `DELETE | `DESTROY | `EXPOSE | `MOTION_NOTIFY | `BUTTON_PRESS
   7   | `TWO_BUTTON_PRESS "GDK_2BUTTON_PRESS"
   8   | `THREE_BUTTON_PRESS "GDK_3BUTTON_PRESS"
   9   | `BUTTON_RELEASE | `KEY_PRESS
  10   | `KEY_RELEASE | `ENTER_NOTIFY | `LEAVE_NOTIFY | `FOCUS_CHANGE
  11   | `CONFIGURE | `MAP | `UNMAP | `PROPERTY_NOTIFY | `SELECTION_CLEAR
  12   | `SELECTION_REQUEST | `SELECTION_NOTIFY | `PROXIMITY_IN
  13   | `PROXIMITY_OUT
  14   | `DRAG_ENTER | `DRAG_LEAVE | `DRAG_MOTION | `DRAG_STATUS
  15   | `DROP_START | `DROP_FINISHED | `CLIENT_EVENT | `VISIBILITY_NOTIFY
  16   | `NO_EXPOSE ]
  17
  18 type event_mask = "GDK_"
  19   [ `EXPOSURE
  20   | `POINTER_MOTION | `POINTER_MOTION_HINT
  21   | `BUTTON_MOTION | `BUTTON1_MOTION | `BUTTON2_MOTION | `BUTTON3_MOTION
  22   | `BUTTON_PRESS | `BUTTON_RELEASE
  23   | `KEY_PRESS | `KEY_RELEASE
  24   | `ENTER_NOTIFY | `LEAVE_NOTIFY | `FOCUS_CHANGE
  25   | `STRUCTURE | `PROPERTY_CHANGE | `VISIBILITY_NOTIFY
  26   | `PROXIMITY_IN | `PROXIMITY_OUT | `SUBSTRUCTURE
  27   | `ALL_EVENTS ] "_MASK"
  28
  29 type public extension_events = "GDK_EXTENSION_EVENTS_"
  30   [ `NONE | `ALL | `CURSOR ]
  31
  32 type gdkVisibilityState = "GDK_VISIBILITY_"
  33   [ `UNOBSCURED | `PARTIAL | `FULLY_OBSCURED ]
  34
  35 type gdkInputSource = "GDK_SOURCE_"
  36   [ `MOUSE | `PEN | `ERASER | `CURSOR ]
  37
  38 type gdkCrossingMode = "GDK_CROSSING_"
  39   [ `NORMAL | `GRAB | `UNGRAB ]
  40
  41 type gdkNotifyType = "GDK_NOTIFY_"
  42   [ `ANCESTOR | `VIRTUAL | `INFERIOR | `NONLINEAR | `NONLINEAR_VIRTUAL
  43   | `UNKNOWN ]
  44
  45 type gdkFillRule = "GDK_"
  46   [ `EVEN_ODD_RULE | `WINDING_RULE ]
  47
  48 type gdkOverlapType = "GDK_OVERLAP_RECTANGLE_"
  49   [ `IN | `OUT | `PART ]
  50
  51 type gdkFunction = "GDK_"
  52   [ `COPY | `INVERT | `XOR ]
  53
  54 type gdkFill = "GDK_"
  55   [ `SOLID | `TILED | `STIPPLED | `OPAQUE_STIPPLED ]
  56
  57 type gdkSubwindowMode = "GDK_"
  58   [ `CLIP_BY_CHILDREN | `INCLUDE_INFERIORS ]
  59
  60 type gdkLineStyle = "GDK_LINE_"
  61   [ `SOLID | `ON_OFF_DASH | `DOUBLE_DASH ]
  62
  63 type gdkCapStyle = "GDK_CAP_"
  64   [ `NOT_LAST | `BUTT | `ROUND | `PROJECTING ]
  65
  66 type gdkJoinStyle = "GDK_JOIN_"
  67   [ `MITER | `ROUND | `BEVEL ]
  68
  69 type gdkModifier = "GDK_"
  70   [ `SHIFT | `LOCK | `CONTROL | `MOD1 | `MOD2 | `MOD3 | `MOD4 | `MOD5
  71   | `BUTTON1 | `BUTTON2 | `BUTTON3 | `BUTTON4 | `BUTTON5 ] "_MASK"
  72
  73 type gdkImageType = "GDK_IMAGE_"
  74   [ `NORMAL | `SHARED | `FASTEST ]
  75
  76 type gdkVisualType = "GDK_VISUAL_"
  77   [ `STATIC_GRAY | `GRAYSCALE | `STATIC_COLOR | `PSEUDO_COLOR
  78   | `TRUE_COLOR | `DIRECT_COLOR ]
  79
  80 type gdkFontType = "GDK_FONT_"
  81   [ `FONT | `FONTSET ]
  82
  83 type gdkDragAction = "GDK_ACTION_"
  84   [ `DEFAULT | `COPY | `MOVE | `LINK | `PRIVATE | `ASK ]
  85
  86 type gdkCursorType = "GDK_" [
  87   | `NUM_GLYPHS
  88   | `X_CURSOR
  89   | `ARROW
  90   | `BASED_ARROW_DOWN
  91   | `BASED_ARROW_UP
  92   | `BOAT
  93   | `BOGOSITY
  94   | `BOTTOM_LEFT_CORNER
  95   | `BOTTOM_RIGHT_CORNER
  96   | `BOTTOM_SIDE
  97   | `BOTTOM_TEE
  98   | `BOX_SPIRAL
  99   | `CENTER_PTR
 100   | `CIRCLE
 101   | `CLOCK
 102   | `COFFEE_MUG
 103   | `CROSS
 104   | `CROSS_REVERSE
 105   | `CROSSHAIR
 106   | `DIAMOND_CROSS
 107   | `DOT
 108   | `DOTBOX
 109   | `DOUBLE_ARROW
 110   | `DRAFT_LARGE
 111   | `DRAFT_SMALL
 112   | `DRAPED_BOX
 113   | `EXCHANGE
 114   | `FLEUR
 115   | `GOBBLER
 116   | `GUMBY
 117   | `HAND1
 118   | `HAND2
 119   | `HEART
 120   | `ICON
 121   | `IRON_CROSS
 122   | `LEFT_PTR
 123   | `LEFT_SIDE
 124   | `LEFT_TEE
 125   | `LEFTBUTTON
 126   | `LL_ANGLE
 127   | `LR_ANGLE
 128   | `MAN
 129   | `MIDDLEBUTTON
 130   | `MOUSE
 131   | `PENCIL
 132   | `PIRATE
 133   | `PLUS
 134   | `QUESTION_ARROW
 135   | `RIGHT_PTR
 136   | `RIGHT_SIDE
 137   | `RIGHT_TEE
 138   | `RIGHTBUTTON
 139   | `RTL_LOGO
 140   | `SAILBOAT
 141   | `SB_DOWN_ARROW
 142   | `SB_H_DOUBLE_ARROW
 143   | `SB_LEFT_ARROW
 144   | `SB_RIGHT_ARROW
 145   | `SB_UP_ARROW
 146   | `SB_V_DOUBLE_ARROW
 147   | `SHUTTLE
 148   | `SIZING
 149   | `SPIDER
 150   | `SPRAYCAN
 151   | `STAR
 152   | `TARGET
 153   | `TCROSS
 154   | `TOP_LEFT_ARROW
 155   | `TOP_LEFT_CORNER
 156   | `TOP_RIGHT_CORNER
 157   | `TOP_SIDE
 158   | `TOP_TEE
 159   | `TREK
 160   | `UL_ANGLE
 161   | `UMBRELLA
 162   | `UR_ANGLE
 163   | `WATCH
 164   | `XTERM
 165   ]