X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fgdk_tags.var;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fgdk_tags.var;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=a443fc039348e6699f22629dd283cd571c34b2c4;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

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
deleted file mode 100644
index a443fc039..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gdk_tags.var
+++ /dev/null
@@ -1,165 +0,0 @@
-(* $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
-  ]