Previous  Up  Next

Module Gtk

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