package lablgtk3

  1. Overview
  2. No Docs
OCaml interface to GTK+3

Install 

dune-project
 Dependency

github.com Edit opam file Versions (15)

Authors

  1. Jacques Garrigue

Maintainers

  1. G
    garrigue@math.nagoya-u.ac.jp

Sources

lablgtk3-3.1.5.tbz
sha256=d4821cdbecf3ae374f20317d63e43fe58030c3ba9657b51a2e83e652197e8eac
sha512=83f0be38a1e21737de93f88b0adac15cdcc50cf712d773720b9bc1e8d8ffdb2c660d35840f25d326a42a9d4e6537e6cef466099bf72494196b2cc79977e703e3

doc/lablgtk3/GtkEnums/index.html

Module GtkEnumsSource

gtk enums

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