module GtkEnums: sig .. end
gtk enums
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 ]
= [ `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_type = [ `BOTTOM | `LEFT | `RIGHT | `TOP ]
type preview_type = [ `COLOR | `GRAYSCALE ]
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 ]
= [ `LEFT | `RIGHT ]
= [ `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 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 ]
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 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 spin_button_update_policy = [ `ALWAYS | `IF_VALID ]
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_type = [ `CANCEL | `CLOSE | `NONE | `OK | `OK_CANCEL | `YES_NO ]
type response = [ `ACCEPT
| `APPLY
| `CANCEL
| `CLOSE
| `DELETE_EVENT
| `HELP
| `NO
| `NONE
| `OK
| `REJECT
| `YES ]
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 image_type = [ `ANIMATION | `EMPTY | `ICON_SET | `IMAGE | `PIXBUF | `PIXMAP | `STOCK ]
type size_group_mode = [ `BOTH | `HORIZONTAL | `NONE | `VERTICAL ]
type file_chooser_action = [ `CREATE_FOLDER | `OPEN | `SAVE | `SELECT_FOLDER ]
type tree_model_flags = [ `ITERS_PERSIST | `LIST_ONLY ]
type tree_view_drop_position = [ `AFTER | `BEFORE | `INTO_OR_AFTER | `INTO_OR_BEFORE ]
type file_filter_flags = [ `DISPLAY_NAME | `FILENAME | `MIME_TYPE | `URI ]
type ui_manager_item_type = [ `ACCELERATOR
| `AUTO
| `MENU
| `MENUBAR
| `MENUITEM
| `PLACEHOLDER
| `POPUP
| `SEPARATOR
| `TOOLBAR
| `TOOLITEM ]
type assistant_page_type = [ `CONFIRM | `CONTENT | `INTRO | `PROGRESS | `SUMMARY ]
type cell_renderer_accel_mode = [ `GTK | `OTHER ]
type file_chooser_confirmation = [ `ACCEPT_FILENAME | `CONFIRM | `SELECT_AGAIN ]