lablgtk3

OCaml interface to GTK+3
IN THIS PACKAGE
Module GtkEnums
type align = [
| `FILL
| `START
| `END
| `CENTER
| `BASELINE
]
type arrow_type = [
| `UP
| `DOWN
| `LEFT
| `RIGHT
| `NONE
]
type attach_options = [
| `EXPAND
| `SHRINK
| `FILL
]
type baseline_position = [
| `TOP
| `CENTER
| `BOTTOM
]
type delete_type = [
| `CHARS
| `WORD_ENDS
| `WORDS
| `DISPLAY_LINES
| `DISPLAY_LINE_ENDS
| `PARAGRAPH_ENDS
| `PARAGRAPHS
| `WHITESPACE
]
type direction_type = [
| `TAB_FORWARD
| `TAB_BACKWARD
| `UP
| `DOWN
| `LEFT
| `RIGHT
]
type icon_size = [
| `INVALID
| `MENU
| `SMALL_TOOLBAR
| `LARGE_TOOLBAR
| `BUTTON
| `DND
| `DIALOG
]
type sensitivity_type = [
| `AUTO
| `ON
| `OFF
]
type text_direction = [
| `NONE
| `LTR
| `RTL
]
type justification = [
| `LEFT
| `RIGHT
| `CENTER
| `FILL
]
type menu_direction_type = [
| `PARENT
| `CHILD
| `NEXT
| `PREV
]
type message_type = [
| `INFO
| `WARNING
| `QUESTION
| `ERROR
| `OTHER
]
type movement_step = [
| `LOGICAL_POSITIONS
| `VISUAL_POSITIONS
| `WORDS
| `DISPLAY_LINES
| `DISPLAY_LINE_ENDS
| `PARAGRAPH_ENDS
| `PARAGRAPHS
| `PAGES
| `BUFFER_ENDS
| `HORIZONTAL_PAGES
]
type orientation = [
| `HORIZONTAL
| `VERTICAL
]
type pack_type = [
| `START
| `END
]
type position_type = [
| `LEFT
| `RIGHT
| `TOP
| `BOTTOM
]
type relief_style = [
| `NORMAL
| `HALF
| `NONE
]
type scroll_step = [
| `STEPS
| `PAGES
| `END
| `HORIZONTAL_STEPS
| `HORIZONTAL_PAGES
| `HORIZONTAL_ENDS
]
type scroll_type = [
| `NONE
| `JUMP
| `STEP_FORWARD
| `STEP_BACKWARD
| `PAGE_BACKWARD
| `PAGE_FORWARD
| `STEP_UP
| `STEP_DOWN
| `PAGE_UP
| `PAGE_DOWN
| `STEP_LEFT
| `STEP_RIGHT
| `PAGE_LEFT
| `PAGE_RIGHT
| `START
| `END
]
type selection_mode = [
| `NONE
| `SINGLE
| `BROWSE
| `MULTIPLE
]
type shadow_type = [
| `NONE
| `IN
| `OUT
| `ETCHED_IN
| `ETCHED_OUT
]
type state_type = [
| `NORMAL
| `ACTIVE
| `PRELIGHT
| `SELECTED
| `INSENSITIVE
| `INCONSISTENT
| `FOCUSED
]
type toolbar_style = [
| `ICONS
| `TEXT
| `BOTH
| `BOTH_HORIZ
]
type wrap_mode = [
| `NONE
| `CHAR
| `WORD
| `WORD_CHAR
]
type sort_type = [
| `ASCENDING
| `DESCENDING
]
type pack_direction = [
| `LTR
| `RTL
| `TTB
| `BTT
]
type print_pages = [
| `ALL
| `CURRENT
| `RANGES
| `SELECTION
]
type page_set = [
| `ALL
| `EVEN
| `ODD
]
type number_up_layout = [
| `LEFT_TO_RIGHT_TOP_TO_BOTTOM
| `LEFT_TO_RIGHT_BOTTOM_TO_TOP
| `RIGHT_TO_LEFT_TOP_TO_BOTTOM
| `RIGHT_TO_LEFT_BOTTOM_TO_TOP
| `TOP_TO_BOTTOM_LEFT_TO_RIGHT
| `TOP_TO_BOTTOM_RIGHT_TO_LEFT
| `BOTTOM_TO_TOP_LEFT_TO_RIGHT
| `BOTTOM_TO_TOP_RIGHT_TO_LEFT
]
type page_orientation = [
| `PORTRAIT
| `LANDSCAPE
| `REVERSE_PORTRAIT
| `REVERSE_LANDSCAPE
]
type print_quality = [
| `LOW
| `NORMAL
| `HIGH
| `DRAFT
]
type print_duplex = [
| `SIMPLEX
| `HORIZONTAL
| `VERTICAL
]
type gtk_unit = [
| `NONE
| `POINTS
| `INCH
| `MM
| `PIXEL
]
type tree_view_grid_lines = [
| `NONE
| `HORIZONTAL
| `VERTICAL
| `BOTH
]
type drag_result = [
| `SUCCESS
| `NO_TARGET
| `USER_CANCELLED
| `TIMEOUT_EXPIRED
| `GRAB_BROKEN
| `ERROR
]
type size_group_mode = [
| `NONE
| `HORIZONTAL
| `VERTICAL
| `BOTH
]
type size_request_mode = [
| `HEIGHT_FOR_WIDTH
| `WIDTH_FOR_HEIGHT
| `CONSTANT_SIZE
]
type scrollable_policy = [
| `MINIMUM
| `NATURAL
]
type state_flag = [
| `NORMAL
| `ACTIVE
| `PRELIGHT
| `SELECTED
| `INSENSITIVE
| `INCONSISTENT
| `FOCUSED
| `BACKDROP
| `DIR_LTR
| `DIR_RTL
| `VISITED
| `CHECKED
]
type region_flag = [
| `EVEN
| `ODD
| `FIRST
| `LAST
| `ONLY
| `SORTED
]
type junction_sides = [
| `NONE
| `CORNER_TOPLEFT
| `CORNER_TOPRIGHT
| `CORNER_BOTTOMLEFT
| `CORNER_BOTTOMRIGHT
| `TOP
| `BOTTOM
| `LEFT
| `RIGHT
]
type border_style = [
| `NONE
| `SOLID
| `INSET
| `OUTSET
| `HIDDEN
| `DOTTED
| `DASHED
| `DOUBLE
| `GROOVE
| `RIDGE
]
type level_bar_mode = [
| `CONTINUOUS
| `DISCRETE
]
type input_purpose = [
| `FREE_FORM
| `ALPHA
| `DIGITS
| `NUMBER
| `PHONE
| `URL
| `EMAIL
| `NAME
| `PASSWORD
| `PIN
]
type input_hints = [
| `NONE
| `SPELLCHECK
| `NO_SPELLCHECK
| `WORD_COMPLETION
| `LOWERCASE
| `UPPERCASE_CHARS
| `UPPERCASE_WORDS
| `UPPERCASE_SENTENCES
| `INHIBIT_OSK
]
type propagation_phase = [
| `NONE
| `CAPTURE
| `BUBBLE
| `TARGET
]
type event_sequence_state = [
| `NONE
| `CLAIMED
| `DENIED
]
type pan_direction = [
| `LEFT
| `RIGHT
| `UP
| `DOWN
]
type stack_transition_type = [
| `NONE
| `CROSSFADE
| `SLIDE_RIGHT
| `SLIDE_LEFT
| `SLIDE_UP
| `SLIDE_DOWN
| `SLIDE_LEFT_RIGHT
| `SLIDE_UP_DOWN
| `OVER_UP
| `OVER_DOWN
| `OVER_LEFT
| `OVER_RIGHT
| `UNDER_UP
| `UNDER_DOWN
| `UNDER_LEFT
| `UNDER_RIGHT
| `OVER_UP_DOWN
| `OVER_DOWN_UP
| `OVER_LEFT_RIGHT
| `OVER_RIGHT_LEFT
]
type text_window_type = [
| `PRIVATE
| `WIDGET
| `TEXT
| `LEFT
| `RIGHT
| `TOP
| `BOTTOM
]
type text_view_layer = [
| `BELOW
| `ABOVE
]
type text_extend_selection = [
| `WORD
| `LINE
]
type text_search_flag = [
| `VISIBLE_ONLY
| `TEXT_ONLY
| `CASE_INSENSITIVE
]
type toolbar_space_style = [
| `EMPTY
| `LINE
]
type spin_button_update_policy = [
| `ALWAYS
| `IF_VALID
]
type spin_type = [
| `STEP_FORWARD
| `STEP_BACKWARD
| `PAGE_FORWARD
| `PAGE_BACKWARD
| `HOME
| `END
| `USER_DEFINED
]
type accel_flag = [
| `VISIBLE
| `LOCKED
]
type button_box_style = [
| `SPREAD
| `EDGE
| `START
| `END
| `CENTER
| `EXPAND
]
type calendar_display_options = [
| `SHOW_HEADING
| `SHOW_DAY_NAMES
| `NO_MONTH_CHANGE
| `SHOW_WEEK_NUMBERS
| `SHOW_DETAILS
]
type resize_mode = [
| `PARENT
| `QUEUE
| `IMMEDIATE
]
type dest_defaults = [
| `MOTION
| `HIGHLIGHT
| `DROP
| `ALL
]
type target_flags = [
| `SAME_APP
| `SAME_WIDGET
| `OTHER_APP
| `OTHER_WIDGET
]
type corner_type = [
| `TOP_LEFT
| `BOTTOM_LEFT
| `TOP_RIGHT
| `BOTTOM_RIGHT
]
type policy_type = [
| `ALWAYS
| `AUTOMATIC
| `NEVER
| `EXTERNAL
]
type tree_model_flags = [
| `ITERS_PERSIST
| `LIST_ONLY
]
type tree_view_drop_position = [
| `BEFORE
| `AFTER
| `INTO_OR_BEFORE
| `INTO_OR_AFTER
]
type tree_view_column_sizing = [
| `GROW_ONLY
| `AUTOSIZE
| `FIXED
]
type cell_renderer_state = [
| `SELECTED
| `PRELIT
| `INSENSITIVE
| `SORTED
| `FOCUSED
| `EXPANDABLE
| `EXPANDED
]
type cell_renderer_mode = [
| `INERT
| `ACTIVATABLE
| `EDITABLE
]
type cell_renderer_accel_mode = [
| `GTK
| `OTHER
]
type buttons_type = [
| `NONE
| `OK
| `CLOSE
| `CANCEL
| `YES_NO
| `OK_CANCEL
]
type dialog_flag = [
| `MODAL
| `DESTROY_WITH_PARENT
| `USE_HEADER_BAR
]
type response = [
| `NONE
| `REJECT
| `ACCEPT
| `DELETE_EVENT
| `OK
| `CANCEL
| `CLOSE
| `YES
| `NO
| `APPLY
| `HELP
]
type widget_help_type = [
| `TOOLTIP
| `WHATS_THIS
]
type window_position = [
| `NONE
| `CENTER
| `MOUSE
| `CENTER_ALWAYS
| `CENTER_ON_PARENT
]
type window_type = [
| `TOPLEVEL
| `POPUP
]
type image_type = [
| `EMPTY
| `PIXBUF
| `STOCK
| `ICON_SET
| `ANIMATION
| `ICON_NAME
| `GICON
| `SURFACE
]
type file_chooser_action = [
| `OPEN
| `SAVE
| `SELECT_FOLDER
| `CREATE_FOLDER
]
type file_chooser_confirmation = [
| `CONFIRM
| `ACCEPT_FILENAME
| `SELECT_AGAIN
]
type file_chooser_errot = [
| `NONEXISTENT
| `BAD_FILENAME
| `ALREADY_EXISTS
| `INCOMPLETE_HOSTNAME
]
type file_filter_flags = [
| `FILENAME
| `URI
| `DISPLAY_NAME
| `MIME_TYPE
]
type ui_manager_item_type = [
| `AUTO
| `MENUBAR
| `MENU
| `TOOLBAR
| `PLACEHOLDER
| `POPUP
| `MENUITEM
| `TOOLITEM
| `SEPARATOR
| `ACCELERATOR
| `POPUP_WITH_ACCELS
]
type assistant_page_type = [
| `CONTENT
| `INTRO
| `CONFIRM
| `SUMMARY
| `PROGRESS
| `CUSTOM
]
type entry_icon_position = [
| `PRIMARY
| `SECONDARY
]