helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gtk.ml

   1 (* $Id$ *)
   2
   3 exception Error of string
   4 exception Warning of string
   5 exception Cannot_cast of string * string
   6 type 'a obj
   7 type 'a optobj = 'a obj Gpointer.optboxed
   8 type clampf = float
   9
  10 module Tags = struct
  11   type arrow_type = [ `UP|`DOWN|`LEFT|`RIGHT ]
  12   type attach_options = [ `EXPAND|`SHRINK|`FILL ]
  13   type direction_type = [ `TAB_FORWARD|`TAB_BACKWARD|`UP|`DOWN|`LEFT|`RIGHT ]
  14   type justification = [ `LEFT|`RIGHT|`CENTER|`FILL ]
  15   type match_type = [ `ALL|`ALL_TAIL|`HEAD|`TAIL|`EXACT|`LAST ]
  16   type metric_type = [ `PIXELS|`INCHES|`CENTIMETERS ]
  17   type orientation = [ `HORIZONTAL|`VERTICAL ]
  18   type corner_type = [ `TOP_LEFT|`BOTTOM_LEFT|`TOP_RIGHT|`BOTTOM_RIGHT ]
  19   type pack_type = [ `START|`END ]
  20   type path_type = [ `WIDGET|`WIDGET_CLASS|`CLASS ]
  21   type policy_type = [ `ALWAYS|`AUTOMATIC|`NEVER ]
  22   type position = [ `LEFT|`RIGHT|`TOP|`BOTTOM ]
  23   type preview_type = [ `COLOR|`GRAYSCALE ]
  24   type relief_style = [ `NORMAL|`HALF|`NONE ]
  25   type resize_mode = [ `PARENT|`QUEUE|`IMMEDIATE ]
  26   type signal_run_type = [ `FIRST|`LAST|`BOTH|`NO_RECURSE|`ACTION|`NO_HOOKS ]
  27   type scroll_type =
  28       [ `NONE|`STEP_FORWARD|`STEP_BACKWARD|`PAGE_BACKWARD|`PAGE_FORWARD|`JUMP ]
  29   type selection_mode = [ `SINGLE|`BROWSE|`MULTIPLE|`EXTENDED ]
  30   type shadow_type = [ `NONE|`IN|`OUT|`ETCHED_IN|`ETCHED_OUT ]
  31   type state_type = [ `NORMAL|`ACTIVE|`PRELIGHT|`SELECTED|`INSENSITIVE ]
  32   type submenu_direction = [ `LEFT|`RIGHT ]
  33   type submenu_placement = [ `TOP_BOTTOM|`LEFT_RIGHT ]
  34   type toolbar_style = [ `ICONS|`TEXT|`BOTH ]
  35   type trough_type = [ `NONE|`START|`END|`JUMP ]
  36   type update_type = [ `CONTINUOUS|`DISCONTINUOUS|`DELAYED ]
  37   type visibility = [ `NONE|`PARTIAL|`FULL ]
  38   type window_position = [ `NONE|`CENTER|`MOUSE|`CENTER_ALWAYS ]
  39   type window_type = [ `TOPLEVEL|`DIALOG|`POPUP ]
  40   type sort_type = [ `ASCENDING|`DESCENDING ]
  41   type fundamental_type =
  42     [ `INVALID|`NONE|`CHAR|`BOOL|`INT|`UINT|`LONG|`ULONG|`FLOAT|`DOUBLE
  43      |`STRING|`ENUM|`FLAGS|`BOXED|`FOREIGN|`CALLBACK|`ARGS|`POINTER
  44      |`SIGNAL|`C_CALLBACK|`OBJECT ]
  45
  46   type accel_flag = [ `VISIBLE|`SIGNAL_VISIBLE|`LOCKED ]
  47   type button_box_style = [ `DEFAULT_STYLE|`SPREAD|`EDGE|`START|`END ]
  48   type expand_type = [ `X|`Y|`BOTH|`NONE ]
  49   type packer_options = [ `PACK_EXPAND|`FILL_X|`FILL_Y ]
  50   type side_type = [ `TOP|`BOTTOM|`LEFT|`RIGHT ]
  51   type anchor_type = [ `CENTER|`NORTH|`NW|`NE|`SOUTH|`SW|`SE|`WEST|`EAST ]
  52   type update_policy = [ `ALWAYS|`IF_VALID|`SNAP_TO_TICKS ]
  53   type cell_type = [ `EMPTY|`TEXT|`PIXMAP|`PIXTEXT|`WIDGET ]
  54   type button_action = [ `SELECTS|`DRAGS|`EXPANDS ]
  55   type calendar_display_options =
  56     [ `SHOW_HEADING|`SHOW_DAY_NAMES|`NO_MONTH_CHANGE|`SHOW_WEEK_NUMBERS
  57      |`WEEK_START_MONDAY ]
  58   type spin_button_update_policy = [ `ALWAYS|`IF_VALID ]
  59   type spin_type =
  60     [ `STEP_FORWARD|`STEP_BACKWARD|`PAGE_FORWARD|`PAGE_BACKWARD
  61      |`HOME|`END|`USER_DEFINED of float ]
  62   type progress_bar_style = [ `CONTINUOUS|`DISCRETE ]
  63   type progress_bar_orientation =
  64     [ `LEFT_TO_RIGHT|`RIGHT_TO_LEFT|`BOTTOM_TO_TOP|`TOP_TO_BOTTOM ]
  65   type dest_defaults = [ `MOTION|`HIGHLIGHT|`DROP|`ALL ]
  66   type target_flags = [ `SAME_APP|`SAME_WIDGET ]
  67   type font_metric_type = [ `PIXELS|`POINTS ]
  68   type font_type = [ `BITMAP|`SCALABLE|`SCALABLE_BITMAP|`ALL ]
  69   type font_filter_type = [ `BASE|`USER ]
  70 end
  71 open Tags
  72
  73 type gtk_type
  74 type gtk_class
  75
  76 type accel_group
  77
  78 type style
  79 type 'a group = 'a obj option
  80
  81 type statusbar_message
  82 type statusbar_context
  83
  84 type color = { red: float; green: float; blue: float; opacity: float }
  85 type rectangle  = { x: int; y: int; width: int; height: int }
  86 type target_entry = { target: string; flags: target_flags list; info: int }
  87
  88 type data = [`data]
  89 type adjustment = [`data|`adjustment]
  90 type tooltips = [`data|`tooltips]
  91 type widget = [`widget]
  92 type container = [`widget|`container]
  93 type alignment = [`widget|`container|`bin|`alignment]
  94 type event_box = [`widget|`container|`bin|`eventbox]
  95 type frame = [`widget|`container|`bin|`frame]
  96 type aspect_frame = [`widget|`container|`bin|`frame|`aspect]
  97 type handle_box = [`widget|`container|`bin|`handlebox]
  98 type invisible = [`widget|`container|`bin|`invisible]
  99 type item = [`widget|`container|`bin|`item]
 100 type list_item = [`widget|`container|`bin|`item|`listitem]
 101 type menu_item = [`widget|`container|`bin|`item|`menuitem]
 102 type check_menu_item = [`widget|`container|`bin|`item|`menuitem|`checkmenuitem]
 103 type radio_menu_item =
 104     [`widget|`container|`bin|`item|`menuitem|`checkmenuitem|`radiomenuitem]
 105 type tree_item = [`widget|`container|`bin|`item|`treeitem]
 106 type viewport = [`widget|`container|`bin|`viewport]
 107 type window = [`widget|`container|`bin|`window]
 108 type color_selection_dialog = [`widget|`container|`window|`colorseldialog]
 109 type dialog = [`widget|`container|`bin|`window|`dialog]
 110 type input_dialog = [`widget|`container|`bin|`window|`dialog|`inputdialog]
 111 type file_selection = [`widget|`container|`bin|`window|`filesel]
 112 type font_selection_dialog = [`widget|`container|`bin|`window|`fontseldialog]
 113 type plug = [`widget|`container|`bin|`window|`plug]
 114 type box = [`widget|`container|`box]
 115 type button_box = [`widget|`container|`box|`bbox]
 116 type gamma_curve = [`widget|`container|`bbox|`gamma]
 117 type color_selection = [`widget|`container|`box|`colorsel]
 118 type combo = [`widget|`container|`box|`combo]
 119 type statusbar = [`widget|`container|`box|`statusbar]
 120 type button = [`widget|`container|`button]
 121 type toggle_button = [`widget|`container|`button|`toggle]
 122 type radio_button = [`widget|`container|`button|`toggle|`radio]
 123 type option_menu = [`widget|`container|`button|`optionmenu]
 124 type clist = [`widget|`container|`clist]
 125 type fixed = [`widget|`container|`fixed]
 126 type layout = [`widget|`container|`layout]
 127 type liste = [`widget|`container|`list]
 128 type menu_shell = [`widget|`container|`menushell]
 129 type menu = [`widget|`container|`menushell|`menu]
 130 type menu_bar = [`widget|`container|`menushell|`menubar]
 131 type notebook = [`widget|`container|`notebook]
 132 type font_selection = [`widget|`container|`notebook|`fontsel]
 133 type packer = [`widget|`container|`packer]
 134 type paned = [`widget|`container|`paned]
 135 type scrolled_window = [`widget|`container|`scrolled]
 136 type socket = [`widget|`container|`socket]
 137 type table = [`widget|`container|`table]
 138 type toolbar = [`widget|`container|`toolbar]
 139 type tree = [`widget|`container|`tree]
 140 type calendar = [`widget|`calendar]
 141 type drawing_area = [`widget|`drawing]
 142 type editable = [`widget|`editable]
 143 type entry = [`widget|`editable|`entry]
 144 type spin_button = [`widget|`editable|`entry|`spinbutton]
 145 type text = [`widget|`editable|`text]
 146 type misc = [`widget|`misc]
 147 type arrow = [`widget|`misc|`arrow]
 148 type image = [`widget|`misc|`image]
 149 type label = [`widget|`misc|`label]
 150 type tips_query = [`widget|`misc|`label|`tipsquery]
 151 type pixmap = [`widget|`misc|`pixmap]
 152 type progress = [`widget|`progress]
 153 type progress_bar = [`widget|`progress|`progressbar]
 154 type range = [`widget|`range]
 155 type scale = [`widget|`range|`scale]
 156 type scrollbar = [`widget|`range|`scrollbar]
 157 type ruler = [`widget|`ruler]
 158 type separator = [`widget|`separator]