Sophie

Sophie

distrib > Mandriva > 2010.0 > i586 > media > contrib-release > by-pkgid > 0be7620be6a1578fbd49765844864a01 > files > 389

ocaml-lablgtk2-doc-2.14.0-2mdv2010.0.i586.rpm

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<link rel="Start" href="index.html">
<link rel="Up" href="Gtk.html">
<title>LablGTK : Gtk.Tags</title>
</head>
<body>
<div class="navbar">&nbsp;<a href="Gtk.html">Up</a>
&nbsp;</div>
<center><h1>Module <a href="type_Gtk.Tags.html">Gtk.Tags</a></h1></center>
<br>
<pre><span class="keyword">module</span> Tags: <code class="code">sig</code> <a href="Gtk.Tags.html">..</a> <code class="code">end</code></pre><hr width="100%">
<pre><span class="keyword">type</span> <a name="TYPEanchor_type"></a><code class="type"></code>anchor_type = <code class="type">[ `CENTER | `EAST | `NE | `NORTH | `NW | `SE | `SOUTH | `SW | `WEST ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEarrow_type"></a><code class="type"></code>arrow_type = <code class="type">[ `DOWN | `LEFT | `RIGHT | `UP ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEattach_options"></a><code class="type"></code>attach_options = <code class="type">[ `EXPAND | `FILL | `SHRINK ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEbutton_box_style"></a><code class="type"></code>button_box_style = <code class="type">[ `DEFAULT_STYLE | `EDGE | `END | `SPREAD | `START ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEcurve_type"></a><code class="type"></code>curve_type = <code class="type">[ `FREE | `LINEAR | `SPLINE ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEdelete_type"></a><code class="type"></code>delete_type = <code class="type">[ `CHARS<br>       | `DISPLAY_LINES<br>       | `DISPLAY_LINE_ENDS<br>       | `PARAGRAPHS<br>       | `PARAGRAPH_ENDS<br>       | `WHITESPACE<br>       | `WORDS<br>       | `WORD_ENDS ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEdirection_type"></a><code class="type"></code>direction_type = <code class="type">[ `DOWN | `LEFT | `RIGHT | `TAB_BACKWARD | `TAB_FORWARD | `UP ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEexpander_style"></a><code class="type"></code>expander_style = <code class="type">[ `COLLAPSED | `EXPANDED | `SEMI_COLLAPSED | `SEMI_EXPANDED ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEicon_size"></a><code class="type"></code>icon_size = <code class="type">[ `BUTTON<br>       | `DIALOG<br>       | `DND<br>       | `INVALID<br>       | `LARGE_TOOLBAR<br>       | `MENU<br>       | `SMALL_TOOLBAR ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEside_type"></a><code class="type"></code>side_type = <code class="type">[ `BOTTOM | `LEFT | `RIGHT | `TOP ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEtext_direction"></a><code class="type"></code>text_direction = <code class="type">[ `LTR | `NONE | `RTL ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEjustification"></a><code class="type"></code>justification = <code class="type">[ `CENTER | `FILL | `LEFT | `RIGHT ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEmatch_type"></a><code class="type"></code>match_type = <code class="type">[ `ALL | `ALL_TAIL | `EXACT | `HEAD | `LAST | `TAIL ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEmenu_direction"></a><code class="type"></code>menu_direction = <code class="type">[ `CHILD | `NEXT | `PARENT | `PREV ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEmetric_type"></a><code class="type"></code>metric_type = <code class="type">[ `CENTIMETERS | `INCHES | `PIXELS ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEmovement_step"></a><code class="type"></code>movement_step = <code class="type">[ `BUFFER_ENDS<br>       | `DISPLAY_LINES<br>       | `DISPLAY_LINE_ENDS<br>       | `LOGICAL_POSITIONS<br>       | `PAGES<br>       | `PARAGRAPHS<br>       | `PARAGRAPH_ENDS<br>       | `VISUAL_POSITIONS<br>       | `WORDS ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEorientation"></a><code class="type"></code>orientation = <code class="type">[ `HORIZONTAL | `VERTICAL ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEcorner_type"></a><code class="type"></code>corner_type = <code class="type">[ `BOTTOM_LEFT | `BOTTOM_RIGHT | `TOP_LEFT | `TOP_RIGHT ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEpack_type"></a><code class="type"></code>pack_type = <code class="type">[ `END | `START ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEpath_priority"></a><code class="type"></code>path_priority = <code class="type">[ `APPLICATION | `GTK | `HIGHEST | `LOWEST | `RC | `THEME ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEpath_type"></a><code class="type"></code>path_type = <code class="type">[ `CLASS | `WIDGET | `WIDGET_CLASS ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEpolicy_type"></a><code class="type"></code>policy_type = <code class="type">[ `ALWAYS | `AUTOMATIC | `NEVER ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEposition"></a><code class="type"></code>position = <code class="type">[ `BOTTOM | `LEFT | `RIGHT | `TOP ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPErelief_style"></a><code class="type"></code>relief_style = <code class="type">[ `HALF | `NONE | `NORMAL ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEresize_mode"></a><code class="type"></code>resize_mode = <code class="type">[ `IMMEDIATE | `PARENT | `QUEUE ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEsignal_run_type"></a><code class="type"></code>signal_run_type = <code class="type">[ `ACTION | `BOTH | `FIRST | `LAST | `NO_HOOKS | `NO_RECURSE ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEscroll_type"></a><code class="type"></code>scroll_type = <code class="type">[ `END<br>       | `JUMP<br>       | `NONE<br>       | `PAGE_BACKWARD<br>       | `PAGE_DOWN<br>       | `PAGE_FORWARD<br>       | `PAGE_LEFT<br>       | `PAGE_RIGHT<br>       | `PAGE_UP<br>       | `START<br>       | `STEP_BACKWARD<br>       | `STEP_DOWN<br>       | `STEP_FORWARD<br>       | `STEP_LEFT<br>       | `STEP_RIGHT<br>       | `STEP_UP ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEselection_mode"></a><code class="type"></code>selection_mode = <code class="type">[ `BROWSE | `MULTIPLE | `NONE | `SINGLE ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEshadow_type"></a><code class="type"></code>shadow_type = <code class="type">[ `ETCHED_IN | `ETCHED_OUT | `IN | `NONE | `OUT ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEstate_type"></a><code class="type"></code>state_type = <code class="type">[ `ACTIVE | `INSENSITIVE | `NORMAL | `PRELIGHT | `SELECTED ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEsubmenu_direction"></a><code class="type"></code>submenu_direction = <code class="type">[ `LEFT | `RIGHT ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEsubmenu_placement"></a><code class="type"></code>submenu_placement = <code class="type">[ `LEFT_RIGHT | `TOP_BOTTOM ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEtoolbar_style"></a><code class="type"></code>toolbar_style = <code class="type">[ `BOTH | `BOTH_HORIZ | `ICONS | `TEXT ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEupdate_type"></a><code class="type"></code>update_type = <code class="type">[ `CONTINUOUS | `DELAYED | `DISCONTINUOUS ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEvisibility"></a><code class="type"></code>visibility = <code class="type">[ `FULL | `NONE | `PARTIAL ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEwindow_position"></a><code class="type"></code>window_position = <code class="type">[ `CENTER | `CENTER_ALWAYS | `CENTER_ON_PARENT | `MOUSE | `NONE ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEwindow_type"></a><code class="type"></code>window_type = <code class="type">[ `POPUP | `TOPLEVEL ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEwrap_mode"></a><code class="type"></code>wrap_mode = <code class="type">[ `CHAR | `NONE | `WORD ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEsort_type"></a><code class="type"></code>sort_type = <code class="type">[ `ASCENDING | `DESCENDING ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEexpand_type"></a><code class="type"></code>expand_type = <code class="type">[ `BOTH | `NONE | `X | `Y ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEupdate_policy"></a><code class="type"></code>update_policy = <code class="type">[ `ALWAYS | `IF_VALID | `SNAP_TO_TICKS ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEcell_type"></a><code class="type"></code>cell_type = <code class="type">[ `EMPTY | `PIXMAP | `PIXTEXT | `TEXT | `WIDGET ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEtoolbar_child"></a><code class="type"></code>toolbar_child = <code class="type">[ `BUTTON | `RADIOBUTTON | `SPACE | `TOGGLEBUTTON | `WIDGET ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEtoolbar_space_style"></a><code class="type"></code>toolbar_space_style = <code class="type">[ `EMPTY | `LINE ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEspin_type"></a><code class="type"></code>spin_type = <code class="type">[ `END<br>       | `HOME<br>       | `PAGE_BACKWARD<br>       | `PAGE_FORWARD<br>       | `STEP_BACKWARD<br>       | `STEP_FORWARD<br>       | `USER_DEFINED of float ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEaccel_flag"></a><code class="type"></code>accel_flag = <code class="type">[ `LOCKED | `VISIBLE ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEbutton_action"></a><code class="type"></code>button_action = <code class="type">[ `DRAGS | `EXPANDS | `SELECTS ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEcalendar_display_options"></a><code class="type"></code>calendar_display_options = <code class="type">[ `NO_MONTH_CHANGE<br>       | `SHOW_DAY_NAMES<br>       | `SHOW_HEADING<br>       | `SHOW_WEEK_NUMBERS<br>       | `WEEK_START_MONDAY ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEspin_button_update_policy"></a><code class="type"></code>spin_button_update_policy = <code class="type">[ `ALWAYS | `IF_VALID ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEprogress_bar_style"></a><code class="type"></code>progress_bar_style = <code class="type">[ `CONTINUOUS | `DISCRETE ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEprogress_bar_orientation"></a><code class="type"></code>progress_bar_orientation = <code class="type">[ `BOTTOM_TO_TOP | `LEFT_TO_RIGHT | `RIGHT_TO_LEFT | `TOP_TO_BOTTOM ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEdest_defaults"></a><code class="type"></code>dest_defaults = <code class="type">[ `ALL | `DROP | `HIGHLIGHT | `MOTION ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEtarget_flags"></a><code class="type"></code>target_flags = <code class="type">[ `SAME_APP | `SAME_WIDGET ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEtext_window_type"></a><code class="type"></code>text_window_type = <code class="type">[ `BOTTOM | `LEFT | `PRIVATE | `RIGHT | `TEXT | `TOP | `WIDGET ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEtext_search_flag"></a><code class="type"></code>text_search_flag = <code class="type">[ `TEXT_ONLY | `VISIBLE_ONLY ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEtree_view_column_sizing"></a><code class="type"></code>tree_view_column_sizing = <code class="type">[ `AUTOSIZE | `FIXED | `GROW_ONLY ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEcell_renderer_mode"></a><code class="type"></code>cell_renderer_mode = <code class="type">[ `ACTIVATABLE | `EDITABLE | `INERT ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEmessage_type"></a><code class="type"></code>message_type = <code class="type">[ `ERROR | `INFO | `QUESTION | `WARNING ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEbuttons"></a><code class="type"></code>buttons = <code class="type">[ `CANCEL | `CLOSE | `NONE | `OK | `OK_CANCEL | `YES_NO ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEresponse"></a><code class="type"></code>response = <code class="type">[ `ACCEPT<br>       | `APPLY<br>       | `CANCEL<br>       | `CLOSE<br>       | `DELETE_EVENT<br>       | `HELP<br>       | `NO<br>       | `NONE<br>       | `OK<br>       | `REJECT<br>       | `YES ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEgtkobj_flags"></a><code class="type"></code>gtkobj_flags = <code class="type">[ `FLOATING | `IN_DESTRUCTION ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEwidget_flags"></a><code class="type"></code>widget_flags = <code class="type">[ `APP_PAINTABLE<br>       | `CAN_DEFAULT<br>       | `CAN_FOCUS<br>       | `COMPOSITE_CHILD<br>       | `DOUBLE_BUFFERED<br>       | `FLOATING<br>       | `HAS_DEFAULT<br>       | `HAS_FOCUS<br>       | `HAS_GRAB<br>       | `IN_DESTRUCTION<br>       | `MAPPED<br>       | `NO_REPARENT<br>       | `NO_WINDOW<br>       | `PARENT_SENSITIVE<br>       | `RC_STYLE<br>       | `REALIZED<br>       | `RECEIVES_DEFAULT<br>       | `SENSITIVE<br>       | `TOPLEVEL<br>       | `VISIBLE ]</code> </pre>

<pre><span class="keyword">type</span> <a name="TYPEsize_group_mode"></a><code class="type"></code>size_group_mode = <code class="type">[ `BOTH | `HORIZONTAL | `NONE | `VERTICAL ]</code> </pre>

</body></html>