Module Gdk.Tags

module Tags: sig .. end

type event_type = [ `BUTTON_PRESS
       | `BUTTON_RELEASE
       | `CLIENT_EVENT
       | `CONFIGURE
       | `DELETE
       | `DESTROY
       | `DRAG_ENTER
       | `DRAG_LEAVE
       | `DRAG_MOTION
       | `DRAG_STATUS
       | `DROP_FINISHED
       | `DROP_START
       | `ENTER_NOTIFY
       | `EXPOSE
       | `FOCUS_CHANGE
       | `KEY_PRESS
       | `KEY_RELEASE
       | `LEAVE_NOTIFY
       | `MAP
       | `MOTION_NOTIFY
       | `NOTHING
       | `NO_EXPOSE
       | `PROPERTY_NOTIFY
       | `PROXIMITY_IN
       | `PROXIMITY_OUT
       | `SCROLL
       | `SELECTION_CLEAR
       | `SELECTION_NOTIFY
       | `SELECTION_REQUEST
       | `SETTING
       | `THREE_BUTTON_PRESS
       | `TWO_BUTTON_PRESS
       | `UNMAP
       | `VISIBILITY_NOTIFY
       | `WINDOW_STATE ] 

type event_mask = [ `ALL_EVENTS
       | `BUTTON1_MOTION
       | `BUTTON2_MOTION
       | `BUTTON3_MOTION
       | `BUTTON_MOTION
       | `BUTTON_PRESS
       | `BUTTON_RELEASE
       | `ENTER_NOTIFY
       | `EXPOSURE
       | `FOCUS_CHANGE
       | `KEY_PRESS
       | `KEY_RELEASE
       | `LEAVE_NOTIFY
       | `POINTER_MOTION
       | `POINTER_MOTION_HINT
       | `PROPERTY_CHANGE
       | `PROXIMITY_IN
       | `PROXIMITY_OUT
       | `SCROLL
       | `STRUCTURE
       | `SUBSTRUCTURE
       | `VISIBILITY_NOTIFY ] 

type extension_mode = [ `ALL | `CURSOR | `NONE ] 

type visibility_state = [ `FULLY_OBSCURED | `PARTIAL | `UNOBSCURED ] 

type input_source = [ `CURSOR | `ERASER | `MOUSE | `PEN ] 

type scroll_direction = [ `DOWN | `LEFT | `RIGHT | `UP ] 

type notify_type = [ `ANCESTOR
       | `INFERIOR
       | `NONLINEAR
       | `NONLINEAR_VIRTUAL
       | `UNKNOWN
       | `VIRTUAL ] 

type crossing_mode = [ `GRAB | `NORMAL | `UNGRAB ] 

type setting_action = [ `CHANGED | `DELETED | `NEW ] 

type window_state = [ `ICONIFIED | `MAXIMIZED | `STICKY | `WITHDRAWN ] 

type modifier = [ `BUTTON1
       | `BUTTON2
       | `BUTTON3
       | `BUTTON4
       | `BUTTON5
       | `CONTROL
       | `LOCK
       | `MOD1
       | `MOD2
       | `MOD3
       | `MOD4
       | `MOD5
       | `SHIFT ] 

type drag_action = [ `ASK | `COPY | `DEFAULT | `LINK | `MOVE | `PRIVATE ] 

type rgb_dither = [ `MAX | `NONE | `NORMAL ] 

type property_state = [ `DELETE | `NEW_VALUE ] 

type property_mode = [ `APPEND | `PREPEND | `REPLACE ] 

type xdata = [ `BYTES of string | `INT32S of int32 array | `SHORTS of int array ] 

type xdata_ret = [ `BYTES of string | `INT32S of int32 array | `NONE | `SHORTS of int array ] 

type gravity = [ `CENTER
       | `EAST
       | `NORTH
       | `NORTH_EAST
       | `NORTH_WEST
       | `SOUTH
       | `SOUTH_EAST
       | `SOUTH_WEST
       | `STATIC
       | `WEST ] 

type window_type_hint = [ `DESKTOP
       | `DIALOG
       | `DOCK
       | `MENU
       | `NORMAL
       | `SPLASHSCREEN
       | `TOOLBAR
       | `UTILITY ]