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 ]