]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gdk_tags.var
Initial revision
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gdk_tags.var
diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gdk_tags.var b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gdk_tags.var
new file mode 100644 (file)
index 0000000..a443fc0
--- /dev/null
@@ -0,0 +1,165 @@
+(* $Id$ *)
+
+exception ml_raise_gdk
+
+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 public 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
+  ]