package lablgtk3

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Error of string
type 'a optobj = 'a Gobject.obj Gpointer.optboxed
type clampf = float
module Tags : sig ... end
type gtk_class
type accel_group
type clipboard
type style = [ `style ] Gobject.obj
type 'a group = 'a Gobject.obj option
type statusbar_message
type statusbar_context
type selection_data
type rectangle = {
  1. x : int;
  2. y : int;
  3. width : int;
  4. height : int;
}
type target_entry = {
  1. target : string;
  2. flags : Tags.target_flags list;
  3. info : int;
}
type box_packing = {
  1. expand : bool;
  2. fill : bool;
  3. padding : int;
  4. pack_type : Tags.pack_type;
}
type orientable = [
  1. | `giu
  2. | `orientable
]
type adjustment = [
  1. | `adjustment
  2. | `giu
]
type tooltips = [
  1. | `giu
  2. | `tooltips
]
type widget = [
  1. | `giu
  2. | `widget
]
type container = [
  1. | `container
  2. | `giu
  3. | `widget
]
type bin = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `widget
]
type alignment = [
  1. | `alignment
  2. | `bin
  3. | `container
  4. | `giu
  5. | `widget
]
type button = [
  1. | `bin
  2. | `button
  3. | `container
  4. | `giu
  5. | `widget
]
type toggle_button = [
  1. | `bin
  2. | `button
  3. | `container
  4. | `giu
  5. | `togglebutton
  6. | `widget
]
type radio_button = [
  1. | `bin
  2. | `button
  3. | `container
  4. | `giu
  5. | `radiobutton
  6. | `togglebutton
  7. | `widget
]
type color_button = [
  1. | `bin
  2. | `button
  3. | `colorbutton
  4. | `container
  5. | `giu
  6. | `widget
]
type font_button = [
  1. | `bin
  2. | `button
  3. | `container
  4. | `fontbutton
  5. | `giu
  6. | `widget
]
type scale_button = [
  1. | `bin
  2. | `button
  3. | `container
  4. | `giu
  5. | `scalebutton
  6. | `widget
]
type option_menu = [
  1. | `bin
  2. | `button
  3. | `container
  4. | `giu
  5. | `optionmenu
  6. | `widget
]
type event_box = [
  1. | `bin
  2. | `container
  3. | `eventbox
  4. | `giu
  5. | `widget
]
type frame = [
  1. | `bin
  2. | `container
  3. | `frame
  4. | `giu
  5. | `widget
]
type aspect_frame = [
  1. | `aspectframe
  2. | `bin
  3. | `container
  4. | `frame
  5. | `giu
  6. | `widget
]
type handle_box = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `handlebox
  5. | `widget
]
type invisible = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `invisible
  5. | `widget
]
type item = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `item
  5. | `widget
]
type list_item = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `item
  5. | `listitem
  6. | `widget
]
type menu_item = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `item
  5. | `menuitem
  6. | `widget
]
type image_menu_item = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `imagemenuitem
  5. | `item
  6. | `menuitem
  7. | `widget
]
type check_menu_item = [
  1. | `bin
  2. | `checkmenuitem
  3. | `container
  4. | `giu
  5. | `item
  6. | `menuitem
  7. | `widget
]
type radio_menu_item = [
  1. | `bin
  2. | `checkmenuitem
  3. | `container
  4. | `giu
  5. | `item
  6. | `menuitem
  7. | `radiomenuitem
  8. | `widget
]
type tree_item = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `item
  5. | `treeitem
  6. | `widget
]
type builder = [
  1. | `builder
  2. | `giu
]
type scrolled_window = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `scrolledwindow
  5. | `widget
]
type viewport = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `viewport
  5. | `widget
]
type window = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `widget
  5. | `window
]
type assistant = [
  1. | `assistant
  2. | `bin
  3. | `container
  4. | `giu
  5. | `widget
  6. | `window
]
type dialog = [
  1. | `bin
  2. | `container
  3. | `dialog
  4. | `giu
  5. | `widget
  6. | `window
]
type message_dialog = [
  1. | `bin
  2. | `container
  3. | `dialog
  4. | `giu
  5. | `messagedialog
  6. | `widget
  7. | `window
]
type color_selection_dialog = [
  1. | `bin
  2. | `colorselectiondialog
  3. | `container
  4. | `dialog
  5. | `giu
  6. | `widget
  7. | `window
]
type input_dialog = [
  1. | `bin
  2. | `container
  3. | `dialog
  4. | `giu
  5. | `inputdialog
  6. | `widget
  7. | `window
]
type file_selection = [
  1. | `bin
  2. | `container
  3. | `dialog
  4. | `fileselection
  5. | `giu
  6. | `widget
  7. | `window
]
type font_selection_dialog = [
  1. | `bin
  2. | `container
  3. | `dialog
  4. | `fontselectiondialog
  5. | `giu
  6. | `widget
  7. | `window
]
type plug = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `plug
  5. | `widget
  6. | `window
]
type box = [
  1. | `box
  2. | `container
  3. | `giu
  4. | `widget
]
type button_box = [
  1. | `box
  2. | `buttonbox
  3. | `container
  4. | `giu
  5. | `widget
]
type color_selection = [
  1. | `box
  2. | `colorselection
  3. | `container
  4. | `giu
  5. | `widget
]
type font_selection = [
  1. | `box
  2. | `container
  3. | `fontselection
  4. | `giu
  5. | `widget
]
type combo = [
  1. | `box
  2. | `combo
  3. | `container
  4. | `giu
  5. | `widget
]
type statusbar = [
  1. | `box
  2. | `container
  3. | `giu
  4. | `statusbar
  5. | `widget
]
type status_icon = [
  1. | `gtkstatusicon
]
type gtk_status_icon = status_icon Gobject.obj
type fixed = [
  1. | `container
  2. | `fixed
  3. | `giu
  4. | `widget
]
type layout = [
  1. | `container
  2. | `giu
  3. | `layout
  4. | `widget
]
type menu_shell = [
  1. | `container
  2. | `giu
  3. | `menushell
  4. | `widget
]
type menu = [
  1. | `container
  2. | `giu
  3. | `menu
  4. | `menushell
  5. | `widget
]
type menu_bar = [
  1. | `container
  2. | `giu
  3. | `menubar
  4. | `menushell
  5. | `widget
]
type notebook = [
  1. | `container
  2. | `giu
  3. | `notebook
  4. | `widget
]
type packer = [
  1. | `container
  2. | `giu
  3. | `packer
  4. | `widget
]
type paned = [
  1. | `container
  2. | `giu
  3. | `paned
  4. | `widget
]
type socket = [
  1. | `container
  2. | `giu
  3. | `socket
  4. | `widget
]
type table = [
  1. | `container
  2. | `giu
  3. | `table
  4. | `widget
]
type grid = [
  1. | `container
  2. | `giu
  3. | `grid
  4. | `widget
]
type toolbar = [
  1. | `container
  2. | `giu
  3. | `orientable
  4. | `toolbar
  5. | `widget
]
type tool_item = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `toolitem
  5. | `widget
]
type separator_tool_item = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `separatortoolitem
  5. | `toolitem
  6. | `widget
]
type tool_button = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `toolbutton
  5. | `toolitem
  6. | `widget
]
type toggle_tool_button = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `toggletoolbutton
  5. | `toolbutton
  6. | `toolitem
  7. | `widget
]
type radio_tool_button = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `radiotoolbutton
  5. | `toggletoolbutton
  6. | `toolbutton
  7. | `toolitem
  8. | `widget
]
type menu_tool_button = [
  1. | `bin
  2. | `container
  3. | `giu
  4. | `menutoolbutton
  5. | `toolbutton
  6. | `toolitem
  7. | `widget
]
type tree = [
  1. | `container
  2. | `giu
  3. | `tree
  4. | `widget
]
type calendar = [
  1. | `calendar
  2. | `giu
  3. | `widget
]
type drawing_area = [
  1. | `drawingarea
  2. | `giu
  3. | `widget
]
type curve = [
  1. | `curve
  2. | `drawingarea
  3. | `giu
  4. | `widget
]
type editable = [
  1. | `editable
  2. | `giu
  3. | `widget
]
type entry = [
  1. | `editable
  2. | `entry
  3. | `giu
  4. | `widget
]
type spin_button = [
  1. | `editable
  2. | `entry
  3. | `giu
  4. | `spinbutton
  5. | `widget
]
type old_editable = [
  1. | `editable
  2. | `giu
  3. | `oldeditable
  4. | `widget
]
type text = [
  1. | `editable
  2. | `giu
  3. | `oldeditable
  4. | `text
  5. | `widget
]
type misc = [
  1. | `giu
  2. | `misc
  3. | `widget
]
type arrow = [
  1. | `arrow
  2. | `giu
  3. | `misc
  4. | `widget
]
type image = [
  1. | `giu
  2. | `image
  3. | `misc
  4. | `widget
]
type label = [
  1. | `giu
  2. | `label
  3. | `misc
  4. | `widget
]
type tips_query = [
  1. | `giu
  2. | `label
  3. | `misc
  4. | `tipsquery
  5. | `widget
]
type pixmap = [
  1. | `giu
  2. | `misc
  3. | `pixmap
  4. | `widget
]
type progress = [
  1. | `giu
  2. | `progress
  3. | `widget
]
type progress_bar = [
  1. | `giu
  2. | `progress
  3. | `progressbar
  4. | `widget
]
type range = [
  1. | `giu
  2. | `range
  3. | `widget
]
type scale = [
  1. | `giu
  2. | `range
  3. | `scale
  4. | `widget
]
type scrollbar = [
  1. | `giu
  2. | `range
  3. | `scrollbar
  4. | `widget
]
type ruler = [
  1. | `giu
  2. | `ruler
  3. | `widget
]
type separator = [
  1. | `giu
  2. | `separator
  3. | `widget
]
type text_view = [
  1. | `container
  2. | `giu
  3. | `textview
  4. | `widget
]
type text_buffer = [ `textbuffer ] Gobject.obj
type text_tag_table = [ `texttagtable ] Gobject.obj
type text_tag = [ `texttag ] Gobject.obj
type text_mark = [ `textmark ] Gobject.obj
type text_child_anchor = [ `textchildanchor ] Gobject.obj
type text_iter
type tree_view = [
  1. | `container
  2. | `giu
  3. | `treeview
  4. | `widget
]
type tree_view_column = [
  1. | `celllayout
  2. | `giu
  3. | `treeviewcolumn
]
type tree_selection = [ `treeselection ] Gobject.obj
type tree_model = [ `treemodel ] Gobject.obj
type tree_model_custom = [ `custommodel | `treemodel ] Gobject.obj
type tree_sortable = [ `treemodel | `treesortable ] Gobject.obj
type tree_model_sort = [ `treemodel | `treemodelsort | `treesortable ] Gobject.obj
type tree_model_filter = [ `treemodel | `treemodelfilter ] Gobject.obj
type tree_store = [ `treemodel | `treesortable | `treestore ] Gobject.obj
type list_store = [ `liststore | `treemodel | `treesortable ] Gobject.obj
type tree_iter
type tree_path
type row_reference
type cell_renderer = [
  1. | `cellrenderer
  2. | `giu
]
type cell_renderer_pixbuf = [
  1. | `cellrenderer
  2. | `cellrendererpixbuf
  3. | `giu
]
type cell_renderer_text = [
  1. | `cellrenderer
  2. | `cellrenderertext
  3. | `giu
]
type cell_renderer_toggle = [
  1. | `cellrenderer
  2. | `cellrenderertoggle
  3. | `giu
]
type cell_renderer_progress = [
  1. | `cellrenderer
  2. | `cellrendererprogress
  3. | `giu
]
type cell_renderer_combo = [
  1. | `cellrenderer
  2. | `cellrenderercombo
  3. | `cellrenderertext
  4. | `giu
]
type cell_renderer_accel = [
  1. | `cellrenderer
  2. | `cellrendereraccel
  3. | `cellrenderertext
  4. | `giu
]
type icon_source
type icon_set
type icon_factory = [ `iconfactory ] Gobject.obj
type size_group = [ `sizegroup ] Gobject.obj
type cell_layout = [
  1. | `celllayout
]
type combo_box = [
  1. | `bin
  2. | `celllayout
  3. | `combobox
  4. | `container
  5. | `giu
  6. | `widget
]
type combo_box_text = [
  1. | `bin
  2. | `celllayout
  3. | `combobox
  4. | `comboboxtext
  5. | `container
  6. | `giu
  7. | `widget
]
type expander = [
  1. | `bin
  2. | `container
  3. | `expander
  4. | `giu
  5. | `widget
]
type file_filter = [
  1. | `filefilter
  2. | `giu
]
type file_chooser = [
  1. | `filechooser
  2. | `giu
  3. | `widget
]
type entry_completion = [ `celllayout | `entrycompletion ] Gobject.obj
type action = [
  1. | `action
]
type toggle_action = [
  1. | `action
  2. | `toggleaction
]
type radio_action = [
  1. | `action
  2. | `radioaction
  3. | `toggleaction
]
type action_group = [
  1. | `actiongroup
]
type ui_manager = [
  1. | `uimanager
]
type icon_view = [
  1. | `container
  2. | `giu
  3. | `iconview
  4. | `widget
]
type about_dialog = [
  1. | `aboutdialog
  2. | `bin
  3. | `container
  4. | `dialog
  5. | `giu
  6. | `widget
  7. | `window
]
type file_chooser_button = [
  1. | `box
  2. | `container
  3. | `filechooser
  4. | `filechooserbutton
  5. | `giu
  6. | `widget
]
type tooltip = [ `tooltip ] Gobject.obj
type 'a obj = 'a Gobject.obj