Module Gtk
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
=
{
x : int;
y : int;
width : int;
height : int;
}
type target_entry
=
{
target : string;
flags : Tags.target_flags list;
info : int;
}
type box_packing
=
{
expand : bool;
fill : bool;
padding : int;
pack_type : Tags.pack_type;
}
type orientable
=[
|
`giu
|
`orientable
]
type adjustment
=[
|
`giu
|
`adjustment
]
type tooltips
=[
|
`giu
|
`tooltips
]
type widget
=[
|
`giu
|
`widget
]
type container
=[
|
widget
|
`container
]
type container'
= container Gobject.obj
type bin
=[
|
container
|
`bin
]
type alignment
=[
|
bin
|
`alignment
]
type button
=[
|
bin
|
`button
]
type toggle_button
=[
|
button
|
`togglebutton
]
type radio_button
=[
|
button
|
`togglebutton
|
`radiobutton
]
type color_button
=[
|
button
|
`colorbutton
]
type font_button
=[
|
button
|
`fontbutton
]
type link_button
=[
|
button
|
`linkbutton
]
type scale_button
=[
|
button
|
`scalebutton
]
type event_box
=[
|
bin
|
`eventbox
]
type frame
=[
|
bin
|
`frame
]
type aspect_frame
=[
|
bin
|
`frame
|
`aspectframe
]
type handle_box
=[
|
bin
|
`handlebox
]
type invisible
=[
|
bin
|
`invisible
]
type item
=[
|
bin
|
`item
]
type list_item
=[
|
item
|
`listitem
]
type tree_item
=[
|
item
|
`treeitem
]
type builder
=[
|
`giu
|
`builder
]
type scrolled_window
=[
|
bin
|
`scrolledwindow
]
type viewport
=[
|
bin
|
`viewport
]
type window
=[
|
bin
|
`window
]
type assistant
=[
|
window
|
`assistant
]
type dialog
=[
|
window
|
`dialog
]
type message_dialog
=[
|
dialog
|
`messagedialog
]
type color_selection_dialog
=[
|
dialog
|
`colorselectiondialog
]
type input_dialog
=[
|
dialog
|
`inputdialog
]
type file_selection
=[
|
dialog
|
`fileselection
]
type font_selection_dialog
=[
|
dialog
|
`fontselectiondialog
]
type plug
=[
|
window
|
`plug
]
type box
=[
|
container
|
`box
]
type button_box
=[
|
container
|
`box
|
`buttonbox
]
type color_selection
=[
|
container
|
`box
|
`colorselection
]
type font_selection
=[
|
container
|
`box
|
`fontselection
]
type combo
=[
|
container
|
`box
|
`combo
]
type statusbar
=[
|
container
|
`box
|
`statusbar
]
type status_icon
=[
|
`gtkstatusicon
]
type gtk_status_icon
= status_icon Gobject.obj
type fixed
=[
|
container
|
`fixed
]
type layout
=[
|
container
|
`layout
]
type notebook
=[
|
container
|
`notebook
]
type packer
=[
|
container
|
`packer
]
type paned
=[
|
container
|
`paned
]
type socket
=[
|
container
|
`socket
]
type table
=[
|
container
|
`table
]
type grid
=[
|
container
|
`grid
]
type toolbar
=[
|
container
|
`toolbar
|
`orientable
]
type tool_item
=[
|
bin
|
`toolitem
]
type separator_tool_item
=[
|
tool_item
|
`separatortoolitem
]
type tool_button
=[
|
tool_item
|
`toolbutton
]
type toggle_tool_button
=[
|
tool_button
|
`toggletoolbutton
]
type radio_tool_button
=[
|
toggle_tool_button
|
`radiotoolbutton
]
type tree
=[
|
container
|
`tree
]
type calendar
=[
|
widget
|
`calendar
]
type drawing_area
=[
|
widget
|
`drawingarea
]
type curve
=[
|
drawing_area
|
`curve
]
type editable
=[
|
widget
|
`editable
]
type entry
=[
|
editable
|
`entry
]
type spin_button
=[
|
editable
|
`entry
|
`spinbutton
]
type old_editable
=[
|
editable
|
`oldeditable
]
type text
=[
|
old_editable
|
`text
]
type misc
=[
|
widget
|
`misc
]
type arrow
=[
|
misc
|
`arrow
]
type image
=[
|
misc
|
`image
]
type label
=[
|
misc
|
`label
]
type tips_query
=[
|
misc
|
`label
|
`tipsquery
]
type pixmap
=[
|
misc
|
`pixmap
]
type progress
=[
|
widget
|
`progress
]
type progress_bar
=[
|
widget
|
`progress
|
`progressbar
]
type range
=[
|
widget
|
`range
]
type scale
=[
|
widget
|
`range
|
`scale
]
type scrollbar
=[
|
widget
|
`range
|
`scrollbar
]
type ruler
=[
|
widget
|
`ruler
]
type separator
=[
|
widget
|
`separator
]
type text_view
=[
|
container
|
`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
=[
|
container
|
`treeview
]
type tree_view_column
=[
|
`giu
|
`celllayout
|
`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
=[
|
`giu
|
`cellrenderer
]
type cell_renderer_pixbuf
=[
|
cell_renderer
|
`cellrendererpixbuf
]
type cell_renderer_text
=[
|
cell_renderer
|
`cellrenderertext
]
type cell_renderer_toggle
=[
|
cell_renderer
|
`cellrenderertoggle
]
type cell_renderer_progress
=[
|
cell_renderer
|
`cellrendererprogress
]
type cell_renderer_combo
=[
|
cell_renderer_text
|
`cellrenderercombo
]
type cell_renderer_accel
=[
|
cell_renderer_text
|
`cellrendereraccel
]
type icon_source
type icon_set
type icon_factory
= [ `iconfactory ] Gobject.obj
type size_group
= [ `sizegroup ] Gobject.obj
type cell_layout
=[
|
`celllayout
]
type combo_box
=[
|
bin
|
`combobox
|
cell_layout
]
type combo_box_text
=[
|
combo_box
|
`comboboxtext
]
type expander
=[
|
bin
|
`expander
]
type file_filter
=[
|
`giu
|
`filefilter
]
type file_chooser
=[
|
widget
|
`filechooser
]
type entry_completion
= [ `entrycompletion | cell_layout ] Gobject.obj
type action
=[
|
`action
]
type toggle_action
=[
|
action
|
`toggleaction
]
type radio_action
=[
|
toggle_action
|
`radioaction
]
type action_group
=[
|
`actiongroup
]
type ui_manager
=[
|
`uimanager
]
type icon_view
=[
|
container
|
`iconview
]
type about_dialog
=[
|
dialog
|
`aboutdialog
]
type file_chooser_button
=[
|
box
|
`filechooserbutton
|
`filechooser
]
type tooltip
= [ `tooltip ] Gobject.obj
type 'a obj
= 'a Gobject.obj