Module GtkSource

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