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 ]
type
menu_direction_type = [ `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 ]
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
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
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 ]