`sig
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 message_type = [ `ERROR | `INFO | `OTHER | `QUESTION | `WARNING ]
type metric_type = [ `CENTIMETERS | `INCHES | `PIXELS ]
type movement_step =
[ `BUFFER_ENDS
| `DISPLAY_LINES
| `DISPLAY_LINE_ENDS
| `HORIZONTAL_PAGES
| `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 | `WORD_CHAR ]
type sort_type = [ `ASCENDING | `DESCENDING ]
type pack_direction = [ `BTT | `LTR | `RTL | `TTB ]
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 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 ]
end`