helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gtk_tags.var

   1 (* $Id$ *)
   2
   3 type arrow_type = "GTK_ARROW_"
   4   [ `UP | `DOWN | `LEFT | `RIGHT ]
   5
   6 type attach_options = "GTK_"
   7   [ `EXPAND | `SHRINK | `FILL ]
   8
   9 type button_box_style = "GTK_BUTTONBOX_"
  10   [ `DEFAULT_STYLE | `SPREAD | `EDGE | `START | `END ]
  11
  12 type direction_type = "GTK_DIR_"
  13   [ `TAB_FORWARD | `TAB_BACKWARD | `UP | `DOWN | `LEFT | `RIGHT ]
  14
  15 type justification = "GTK_JUSTIFY_"
  16   [ `LEFT | `RIGHT | `CENTER | `FILL ]
  17
  18 type match_type = "GTK_MATCH_"
  19   [ `ALL | `ALL_TAIL | `HEAD | `TAIL | `EXACT | `LAST ]
  20
  21 type metric_type = "GTK_"
  22   [ `PIXELS | `INCHES | `CENTIMETERS ]
  23
  24 type orientation = "GTK_ORIENTATION_"
  25   [ `HORIZONTAL | `VERTICAL ]
  26
  27 type corner_type = "GTK_CORNER_"
  28   [ `TOP_LEFT | `BOTTOM_LEFT | `TOP_RIGHT | `BOTTOM_RIGHT ]
  29
  30 type pack_type = "GTK_PACK_"
  31   [ `START | `END ]
  32
  33 type path_type = "GTK_PATH_"
  34   [ `WIDGET | `WIDGET_CLASS | `CLASS ]
  35
  36 type policy_type = "GTK_POLICY_"
  37   [ `ALWAYS | `AUTOMATIC | `NEVER ]
  38
  39 type position = "GTK_POS_"
  40   [ `LEFT | `RIGHT | `TOP | `BOTTOM ]
  41
  42 type preview_type = "GTK_PREVIEW_"
  43   [ `COLOR | `GRAYSCALE ]
  44
  45 type relief_style = "GTK_RELIEF_"
  46   [ `NORMAL | `HALF | `NONE ]
  47
  48 type resize_mode = "GTK_RESIZE_"
  49   [ `PARENT | `QUEUE | `IMMEDIATE ]
  50
  51 type signal_run_type = "GTK_RUN_"
  52   [ `FIRST | `LAST | `BOTH | `NO_RECURSE | `ACTION | `NO_HOOKS ]
  53
  54 type scroll_type = "GTK_SCROLL_"
  55   [ `NONE | `STEP_FORWARD | `STEP_BACKWARD | `PAGE_BACKWARD
  56   | `PAGE_FORWARD | `JUMP ]
  57
  58 type selection_mode = "GTK_SELECTION_"
  59   [ `SINGLE | `BROWSE | `MULTIPLE | `EXTENDED ]
  60
  61 type shadow_type = "GTK_SHADOW_"
  62   [ `NONE | `IN | `OUT | `ETCHED_IN | `ETCHED_OUT ]
  63
  64 type state_type = "GTK_STATE_"
  65   [ `NORMAL | `ACTIVE | `PRELIGHT | `SELECTED | `INSENSITIVE ]
  66
  67 type submenu_direction = "GTK_DIRECTION_"
  68   [ `LEFT | `RIGHT ]
  69
  70 type submenu_placement = "GTK_"
  71   [ `TOP_BOTTOM | `LEFT_RIGHT ]
  72
  73 type toolbar_style = "GTK_TOOLBAR_"
  74   [ `ICONS | `TEXT | `BOTH ]
  75
  76 type trough_type = "GTK_TROUGH_"
  77   [ `NONE | `START | `END | `JUMP ]
  78
  79 type update_type = "GTK_UPDATE_"
  80   [ `CONTINUOUS | `DISCONTINUOUS | `DELAYED ]
  81
  82 type visibility = "GTK_VISIBILITY_"
  83   [ `NONE | `PARTIAL | `FULL ]
  84
  85 type window_position = "GTK_WIN_POS_"
  86   [ `NONE | `CENTER | `MOUSE | `CENTER_ALWAYS ]
  87
  88 type window_type = "GTK_WINDOW_"
  89   [ `TOPLEVEL | `DIALOG | `POPUP ]
  90
  91 type sort_type = "GTK_SORT_"
  92   [ `ASCENDING | `DESCENDING ]
  93
  94
  95 type fundamental_type = "GTK_TYPE_"
  96   [ `INVALID | `NONE | `CHAR | `BOOL | `INT | `UINT | `LONG | `ULONG
  97   | `FLOAT | `DOUBLE | `STRING | `ENUM | `FLAGS | `BOXED | `FOREIGN
  98   | `CALLBACK | `ARGS | `POINTER | `SIGNAL | `C_CALLBACK | `OBJECT ]
  99
 100 type cell_type = "GTK_CELL_"
 101   [ `EMPTY | `TEXT | `PIXMAP | `PIXTEXT | `WIDGET ]
 102
 103 type toolbar_child = "GTK_TOOLBAR_CHILD_"
 104   [ `SPACE | `BUTTON | `TOGGLEBUTTON | `RADIOBUTTON | `WIDGET ]
 105
 106 type toolbar_space_style = "GTK_TOOLBAR_SPACE_"
 107   [ `EMPTY | `LINE ]
 108
 109 type tree_view_mode = "GTK_TREE_VIEW_"
 110   [ `LINE | `ITEM ]
 111
 112 type spin_type = "GTK_SPIN_"
 113   [ `STEP_FORWARD | `STEP_BACKWARD | `PAGE_FORWARD | `PAGE_BACKWARD
 114   | `HOME | `END | `USER_DEFINED ]
 115
 116 type accel_flag = "GTK_ACCEL_"
 117   [ `VISIBLE | `SIGNAL_VISIBLE | `LOCKED ]
 118
 119 type packer_options = "GTK_"
 120   [ `PACK_EXPAND | `FILL_X | `FILL_Y ]
 121
 122 type side_type = "GTK_SIDE_"
 123   [ `TOP | `BOTTOM | `LEFT | `RIGHT ]
 124
 125 type anchor_type = "GTK_ANCHOR_"
 126   [ `CENTER | `NORTH | `NW | `NE | `SOUTH | `SW | `SE | `WEST | `EAST ]
 127
 128 type button_action = "GTK_BUTTON_"
 129   [ `SELECTS | `DRAGS | `EXPANDS ]
 130
 131 type calendar_display_options = "GTK_CALENDAR_"
 132   [ `SHOW_HEADING | `SHOW_DAY_NAMES | `NO_MONTH_CHANGE | `SHOW_WEEK_NUMBERS
 133   | `WEEK_START_MONDAY ]
 134
 135 type progress_bar_style = "GTK_PROGRESS_"
 136   [ `CONTINUOUS | `DISCRETE ]
 137
 138 type progress_bar_orientation = "GTK_PROGRESS_"
 139   [ `LEFT_TO_RIGHT | `RIGHT_TO_LEFT | `BOTTOM_TO_TOP | `TOP_TO_BOTTOM ]
 140
 141 type dest_defaults = "GTK_DEST_DEFAULT_"
 142   [ `MOTION | `HIGHLIGHT | `DROP | `ALL ]
 143
 144 type target_flags = "GTK_TARGET_"
 145   [ `SAME_APP | `SAME_WIDGET ]
 146
 147 type font_metric_type = "GTK_FONT_METRIC_"
 148   [ `PIXELS | `POINTS ]
 149
 150 type font_type = "GTK_FONT_"
 151   [ `BITMAP | `SCALABLE | `SCALABLE_BITMAP | `ALL ]
 152
 153 type font_filter_type = "GTK_FONT_FILTER_"
 154   [ `BASE | `USER ]
 155
 156 (*
 157 type tree_pos = "GTK_CTREE_POS_"
 158   [ `BEFORE | `AS_CHILD | `AFTER ]
 159
 160 type tree_line_style = "GTK_CTREE_LINES_"
 161   [ `NONE | `SOLID | `DOTTED | `TABBED ]
 162
 163 type tree_expander_style = "GTK_CTREE_EXPANDER_"
 164   [ `NONE | `SQUARE | `TRIANGLE | `CIRCULAR ]
 165
 166 type tree_expansion_type = "GTK_CTREE_EXPANSION_"
 167   [ `EXPAND | `EXPAND_RECURSIVE | `COLLAPSE | `COLLAPSE_RECURSIVE
 168   | `TOGGLE | `TOGGLE_RECURSIVE ]
 169 *)