package lablgtk3

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

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (15)

Authors

  1. Jacques Garrigue

Maintainers

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

Sources

lablgtk3-3.0.beta5.tbz
sha256=5d221cf92a9f1f6d6e5a9c83d49eb3d6a62528a0002fd2bac44bbd2dad89ee30
md5=e8745cbff677b330e06a304c6d1b9bce

doc/lablgtk3/Gtk/index.html

Module Gtk

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. | `giu
  2. | `adjustment
]
type tooltips = [
  1. | `giu
  2. | `tooltips
]
type widget = [
  1. | `giu
  2. | `widget
]
type container = [
  1. | widget
  2. | `container
]
type container' = container Gobject.obj
type bin = [
  1. | container
  2. | `bin
]
type alignment = [
  1. | bin
  2. | `alignment
]
type button = [
  1. | bin
  2. | `button
]
type toggle_button = [
  1. | button
  2. | `togglebutton
]
type radio_button = [
  1. | button
  2. | `togglebutton
  3. | `radiobutton
]
type color_button = [
  1. | button
  2. | `colorbutton
]
type font_button = [
  1. | button
  2. | `fontbutton
]
type scale_button = [
  1. | button
  2. | `scalebutton
]
type option_menu = [
  1. | button
  2. | `optionmenu
]
type event_box = [
  1. | bin
  2. | `eventbox
]
type frame = [
  1. | bin
  2. | `frame
]
type aspect_frame = [
  1. | bin
  2. | `frame
  3. | `aspectframe
]
type handle_box = [
  1. | bin
  2. | `handlebox
]
type invisible = [
  1. | bin
  2. | `invisible
]
type item = [
  1. | bin
  2. | `item
]
type list_item = [
  1. | item
  2. | `listitem
]
type menu_item = [
  1. | item
  2. | `menuitem
]
type image_menu_item = [
  1. | menu_item
  2. | `imagemenuitem
]
type check_menu_item = [
  1. | item
  2. | `menuitem
  3. | `checkmenuitem
]
type radio_menu_item = [
  1. | item
  2. | `menuitem
  3. | `checkmenuitem
  4. | `radiomenuitem
]
type tree_item = [
  1. | item
  2. | `treeitem
]
type builder = [
  1. | `giu
  2. | `builder
]
type scrolled_window = [
  1. | bin
  2. | `scrolledwindow
]
type viewport = [
  1. | bin
  2. | `viewport
]
type window = [
  1. | bin
  2. | `window
]
type assistant = [
  1. | window
  2. | `assistant
]
type dialog = [
  1. | window
  2. | `dialog
]
type message_dialog = [
  1. | dialog
  2. | `messagedialog
]
type color_selection_dialog = [
  1. | dialog
  2. | `colorselectiondialog
]
type input_dialog = [
  1. | dialog
  2. | `inputdialog
]
type file_selection = [
  1. | dialog
  2. | `fileselection
]
type font_selection_dialog = [
  1. | dialog
  2. | `fontselectiondialog
]
type plug = [
  1. | window
  2. | `plug
]
type box = [
  1. | container
  2. | `box
]
type button_box = [
  1. | container
  2. | `box
  3. | `buttonbox
]
type color_selection = [
  1. | container
  2. | `box
  3. | `colorselection
]
type font_selection = [
  1. | container
  2. | `box
  3. | `fontselection
]
type combo = [
  1. | container
  2. | `box
  3. | `combo
]
type statusbar = [
  1. | container
  2. | `box
  3. | `statusbar
]
type status_icon = [
  1. | `gtkstatusicon
]
type gtk_status_icon = status_icon Gobject.obj
type fixed = [
  1. | container
  2. | `fixed
]
type layout = [
  1. | container
  2. | `layout
]
type menu_shell = [
  1. | container
  2. | `menushell
]
type menu = [
  1. | container
  2. | `menushell
  3. | `menu
]
type menu_bar = [
  1. | container
  2. | `menushell
  3. | `menubar
]
type notebook = [
  1. | container
  2. | `notebook
]
type packer = [
  1. | container
  2. | `packer
]
type paned = [
  1. | container
  2. | `paned
]
type socket = [
  1. | container
  2. | `socket
]
type table = [
  1. | container
  2. | `table
]
type grid = [
  1. | container
  2. | `grid
]
type toolbar = [
  1. | container
  2. | `toolbar
  3. | `orientable
]
type tool_item = [
  1. | bin
  2. | `toolitem
]
type separator_tool_item = [
  1. | tool_item
  2. | `separatortoolitem
]
type tool_button = [
  1. | tool_item
  2. | `toolbutton
]
type toggle_tool_button = [
  1. | tool_button
  2. | `toggletoolbutton
]
type radio_tool_button = [
  1. | toggle_tool_button
  2. | `radiotoolbutton
]
type menu_tool_button = [
  1. | tool_button
  2. | `menutoolbutton
]
type tree = [
  1. | container
  2. | `tree
]
type calendar = [
  1. | widget
  2. | `calendar
]
type drawing_area = [
  1. | widget
  2. | `drawingarea
]
type curve = [
  1. | drawing_area
  2. | `curve
]
type editable = [
  1. | widget
  2. | `editable
]
type entry = [
  1. | editable
  2. | `entry
]
type spin_button = [
  1. | editable
  2. | `entry
  3. | `spinbutton
]
type old_editable = [
  1. | editable
  2. | `oldeditable
]
type text = [
  1. | old_editable
  2. | `text
]
type misc = [
  1. | widget
  2. | `misc
]
type arrow = [
  1. | misc
  2. | `arrow
]
type image = [
  1. | misc
  2. | `image
]
type label = [
  1. | misc
  2. | `label
]
type tips_query = [
  1. | misc
  2. | `label
  3. | `tipsquery
]
type pixmap = [
  1. | misc
  2. | `pixmap
]
type progress = [
  1. | widget
  2. | `progress
]
type progress_bar = [
  1. | widget
  2. | `progress
  3. | `progressbar
]
type range = [
  1. | widget
  2. | `range
]
type scale = [
  1. | widget
  2. | `range
  3. | `scale
]
type scrollbar = [
  1. | widget
  2. | `range
  3. | `scrollbar
]
type ruler = [
  1. | widget
  2. | `ruler
]
type separator = [
  1. | widget
  2. | `separator
]
type text_view = [
  1. | container
  2. | `textview
]
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. | `treeview
]
type tree_view_column = [
  1. | `giu
  2. | `celllayout
  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 = [ `treemodelsort | `treesortable | `treemodel ] Gobject.obj
type tree_model_filter = [ `treemodelfilter | `treemodel ] Gobject.obj
type tree_store = [ `treestore | `treesortable | `treemodel ] Gobject.obj
type list_store = [ `liststore | `treesortable | `treemodel ] Gobject.obj
type tree_iter
type tree_path
type row_reference
type cell_renderer = [
  1. | `giu
  2. | `cellrenderer
]
type cell_renderer_pixbuf = [
  1. | cell_renderer
  2. | `cellrendererpixbuf
]
type cell_renderer_text = [
  1. | cell_renderer
  2. | `cellrenderertext
]
type cell_renderer_toggle = [
  1. | cell_renderer
  2. | `cellrenderertoggle
]
type cell_renderer_progress = [
  1. | cell_renderer
  2. | `cellrendererprogress
]
type cell_renderer_combo = [
  1. | cell_renderer_text
  2. | `cellrenderercombo
]
type cell_renderer_accel = [
  1. | cell_renderer_text
  2. | `cellrendereraccel
]
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. | `combobox
  3. | cell_layout
]
type combo_box_text = [
  1. | combo_box
  2. | `comboboxtext
]
type expander = [
  1. | bin
  2. | `expander
]
type file_filter = [
  1. | `giu
  2. | `filefilter
]
type file_chooser = [
  1. | widget
  2. | `filechooser
]
type entry_completion = [ `entrycompletion | cell_layout ] Gobject.obj
type action = [
  1. | `action
]
type toggle_action = [
  1. | action
  2. | `toggleaction
]
type radio_action = [
  1. | toggle_action
  2. | `radioaction
]
type action_group = [
  1. | `actiongroup
]
type ui_manager = [
  1. | `uimanager
]
type icon_view = [
  1. | container
  2. | `iconview
]
type about_dialog = [
  1. | dialog
  2. | `aboutdialog
]
type file_chooser_button = [
  1. | box
  2. | `filechooserbutton
  3. | `filechooser
]
type tooltip = [ `tooltip ] Gobject.obj
type 'a obj = 'a Gobject.obj