Module Gtk.Tags

module Tags: sig .. end

type anchor_type = [ `CENTER | `EAST | `NE | `NORTH | `NW | `SE | `SOUTH | `SW | `WEST ] 

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

type attach_options = [ `EXPAND | `FILL | `SHRINK ] 

type button_box_style = [ `DEFAULT_STYLE | `EDGE | `END | `SPREAD | `START ] 

type curve_type = [ `FREE | `LINEAR | `SPLINE ] 

type delete_type = [ `CHARS
       | `DISPLAY_LINES
       | `DISPLAY_LINE_ENDS
       | `PARAGRAPHS
       | `PARAGRAPH_ENDS
       | `WHITESPACE
       | `WORDS
       | `WORD_ENDS ] 

type direction_type = [ `DOWN | `LEFT | `RIGHT | `TAB_BACKWARD | `TAB_FORWARD | `UP ] 

type expander_style = [ `COLLAPSED | `EXPANDED | `SEMI_COLLAPSED | `SEMI_EXPANDED ] 

type icon_size = [ `BUTTON
       | `DIALOG
       | `DND
       | `INVALID
       | `LARGE_TOOLBAR
       | `MENU
       | `SMALL_TOOLBAR ] 

type side_type = [ `BOTTOM | `LEFT | `RIGHT | `TOP ] 

type text_direction = [ `LTR | `NONE | `RTL ] 

type justification = [ `CENTER | `FILL | `LEFT | `RIGHT ] 

type match_type = [ `ALL | `ALL_TAIL | `EXACT | `HEAD | `LAST | `TAIL ] 

type menu_direction = [ `CHILD | `NEXT | `PARENT | `PREV ] 

type metric_type = [ `CENTIMETERS | `INCHES | `PIXELS ] 

type movement_step = [ `BUFFER_ENDS
       | `DISPLAY_LINES
       | `DISPLAY_LINE_ENDS
       | `LOGICAL_POSITIONS
       | `PAGES
       | `PARAGRAPHS
       | `PARAGRAPH_ENDS
       | `VISUAL_POSITIONS
       | `WORDS ] 

type orientation = [ `HORIZONTAL | `VERTICAL ] 

type corner_type = [ `BOTTOM_LEFT | `BOTTOM_RIGHT | `TOP_LEFT | `TOP_RIGHT ] 

type pack_type = [ `END | `START ] 

type path_priority = [ `APPLICATION | `GTK | `HIGHEST | `LOWEST | `RC | `THEME ] 

type path_type = [ `CLASS | `WIDGET | `WIDGET_CLASS ] 

type policy_type = [ `ALWAYS | `AUTOMATIC | `NEVER ] 

type position = [ `BOTTOM | `LEFT | `RIGHT | `TOP ] 

type relief_style = [ `HALF | `NONE | `NORMAL ] 

type resize_mode = [ `IMMEDIATE | `PARENT | `QUEUE ] 

type signal_run_type = [ `ACTION | `BOTH | `FIRST | `LAST | `NO_HOOKS | `NO_RECURSE ] 

type scroll_type = [ `END
       | `JUMP
       | `NONE
       | `PAGE_BACKWARD
       | `PAGE_DOWN
       | `PAGE_FORWARD
       | `PAGE_LEFT
       | `PAGE_RIGHT
       | `PAGE_UP
       | `START
       | `STEP_BACKWARD
       | `STEP_DOWN
       | `STEP_FORWARD
       | `STEP_LEFT
       | `STEP_RIGHT
       | `STEP_UP ] 

type selection_mode = [ `BROWSE | `MULTIPLE | `NONE | `SINGLE ] 

type shadow_type = [ `ETCHED_IN | `ETCHED_OUT | `IN | `NONE | `OUT ] 

type state_type = [ `ACTIVE | `INSENSITIVE | `NORMAL | `PRELIGHT | `SELECTED ] 

type submenu_direction = [ `LEFT | `RIGHT ] 

type submenu_placement = [ `LEFT_RIGHT | `TOP_BOTTOM ] 

type toolbar_style = [ `BOTH | `BOTH_HORIZ | `ICONS | `TEXT ] 

type update_type = [ `CONTINUOUS | `DELAYED | `DISCONTINUOUS ] 

type visibility = [ `FULL | `NONE | `PARTIAL ] 

type window_position = [ `CENTER | `CENTER_ALWAYS | `CENTER_ON_PARENT | `MOUSE | `NONE ] 

type window_type = [ `POPUP | `TOPLEVEL ] 

type wrap_mode = [ `CHAR | `NONE | `WORD ] 

type sort_type = [ `ASCENDING | `DESCENDING ] 

type expand_type = [ `BOTH | `NONE | `X | `Y ] 

type update_policy = [ `ALWAYS | `IF_VALID | `SNAP_TO_TICKS ] 

type cell_type = [ `EMPTY | `PIXMAP | `PIXTEXT | `TEXT | `WIDGET ] 

type toolbar_child = [ `BUTTON | `RADIOBUTTON | `SPACE | `TOGGLEBUTTON | `WIDGET ] 

type toolbar_space_style = [ `EMPTY | `LINE ] 

type spin_type = [ `END
       | `HOME
       | `PAGE_BACKWARD
       | `PAGE_FORWARD
       | `STEP_BACKWARD
       | `STEP_FORWARD
       | `USER_DEFINED of float ] 

type accel_flag = [ `LOCKED | `VISIBLE ] 

type button_action = [ `DRAGS | `EXPANDS | `SELECTS ] 

type calendar_display_options = [ `NO_MONTH_CHANGE
       | `SHOW_DAY_NAMES
       | `SHOW_HEADING
       | `SHOW_WEEK_NUMBERS
       | `WEEK_START_MONDAY ] 

type spin_button_update_policy = [ `ALWAYS | `IF_VALID ] 

type progress_bar_style = [ `CONTINUOUS | `DISCRETE ] 

type progress_bar_orientation = [ `BOTTOM_TO_TOP | `LEFT_TO_RIGHT | `RIGHT_TO_LEFT | `TOP_TO_BOTTOM ] 

type dest_defaults = [ `ALL | `DROP | `HIGHLIGHT | `MOTION ] 

type target_flags = [ `SAME_APP | `SAME_WIDGET ] 

type text_window_type = [ `BOTTOM | `LEFT | `PRIVATE | `RIGHT | `TEXT | `TOP | `WIDGET ] 

type text_search_flag = [ `TEXT_ONLY | `VISIBLE_ONLY ] 

type tree_view_column_sizing = [ `AUTOSIZE | `FIXED | `GROW_ONLY ] 

type cell_renderer_mode = [ `ACTIVATABLE | `EDITABLE | `INERT ] 

type message_type = [ `ERROR | `INFO | `QUESTION | `WARNING ] 

type buttons = [ `CANCEL | `CLOSE | `NONE | `OK | `OK_CANCEL | `YES_NO ] 

type response = [ `ACCEPT
       | `APPLY
       | `CANCEL
       | `CLOSE
       | `DELETE_EVENT
       | `HELP
       | `NO
       | `NONE
       | `OK
       | `REJECT
       | `YES ] 

type gtkobj_flags = [ `FLOATING | `IN_DESTRUCTION ] 

type widget_flags = [ `APP_PAINTABLE
       | `CAN_DEFAULT
       | `CAN_FOCUS
       | `COMPOSITE_CHILD
       | `DOUBLE_BUFFERED
       | `FLOATING
       | `HAS_DEFAULT
       | `HAS_FOCUS
       | `HAS_GRAB
       | `IN_DESTRUCTION
       | `MAPPED
       | `NO_REPARENT
       | `NO_WINDOW
       | `PARENT_SENSITIVE
       | `RC_STYLE
       | `REALIZED
       | `RECEIVES_DEFAULT
       | `SENSITIVE
       | `TOPLEVEL
       | `VISIBLE ] 

type size_group_mode = [ `BOTH | `HORIZONTAL | `NONE | `VERTICAL ]