diff options
Diffstat (limited to 'vendor/x11iraf/obm/obmres.dat')
| -rw-r--r-- | vendor/x11iraf/obm/obmres.dat | 538 |
1 files changed, 538 insertions, 0 deletions
diff --git a/vendor/x11iraf/obm/obmres.dat b/vendor/x11iraf/obm/obmres.dat new file mode 100644 index 00000000..756a12d4 --- /dev/null +++ b/vendor/x11iraf/obm/obmres.dat @@ -0,0 +1,538 @@ +/* + * OBMRES.DAT -- Global resource table used by the object manager. + * Format: resource name, resource type, widget classes bitflags, hash link. + * + * To regenerate this file, add any new resources to the table in the + * obmres.c file, sort the table, and then do the following. (Note: the + * widget type code #defines in obmres.c must agree with those in obm.c, + * ignoring the Wt prefix used in obm.c.) + * + * 1. cc obmres.c -o obmres.e + * 2. obmres.e -decorate > temp + * 3. Replace the text following this comment by the contents of + * the file temp. + * + * The "undecorated" output of obmres may be used for various queries, e.g., + * obmres.e | awk '{ print $2 }' | sort | uniq + * will list all the resource types. + */ + +/* The following definitions appear to be needed to work around omissions + * in the X11R4 Athena widget public include files. + */ +#ifndef XtREdgeType +# define XtREdgeType "EdgeType" +#endif +#ifndef XtRWrapMode +# define XtRWrapMode "WrapMode" +#endif +#ifndef XtRTextResizeMode +# define XtRTextResizeMode "TextResizeMode" +#endif +#ifndef XtRTextScrollMode +# define XtRTextScrollMode "TextScrollMode" +#endif +#ifndef XtRResizeMode +# define XtRResizeMode "ResizeMode" +#endif +#ifndef XtRScrollMode +# define XtRScrollMode "ScrollMode" +#endif +#ifndef XtNwaitforwm +# define XtNwaitforwm XtNwaitForWm +#endif + + +{ "abs_height", XtRPosition, 00000575570, 00000000000, NULL }, +{ "abs_width", XtRPosition, 00000575570, 00000000000, NULL }, +{ "abs_x", XtRPosition, 00000575570, 00000000000, NULL }, +{ "abs_y", XtRPosition, 00000575570, 00000000000, NULL }, +{ "accelerators", XtRAcceleratorTable, 00011777777, 01707777715, NULL }, +{ "addColumn", XtRCallback, 00010000000, 00000000000, NULL }, +{ "addRow", XtRCallback, 00010000000, 00000000000, NULL }, +{ "allowAddColumn", XtRCallback, 00010000000, 00000000000, NULL }, +{ "allowAddRow", XtRCallback, 00010000000, 00000000000, NULL }, +{ "allowDeleteColumn", XtRCallback, 00010000000, 00000000000, NULL }, +{ "allowDeleteRow", XtRCallback, 00010000000, 00000000000, NULL }, +{ "allowDeleteTable", XtRCallback, 00010000000, 00000000000, NULL }, +{ "activate", XtRCallback, 00000145400, 00000000000, NULL }, +{ "activateCallback", XtRCallback, 00002000000, 00000000000, NULL }, +{ "activeAnchorBG", XtRPixel, 00000000004, 00000000000, NULL }, +{ "activeAnchorFG", XtRPixel, 00000000004, 00000000000, NULL }, +{ "addressFont", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "alignment", XtRAlignment, 00000574500, 00000000000, NULL }, +{ "allowAddColumn", XtRCallback, 00010000000, 00000000000, NULL }, +{ "allowAddRow", XtRCallback, 00010000000, 00000000000, NULL }, +{ "allowDeleteColumn", XtRCallback, 00010000000, 00000000000, NULL }, +{ "allowDeleteRow", XtRCallback, 00010000000, 00000000000, NULL }, +{ "allowDeleteTable", XtRCallback, 00010000000, 00000000000, NULL }, +{ "allowHoriz", XtRBoolean, 00000000000, 01000000000, NULL }, +{ "allowOff", XtRBoolean, 00000000000, 00000200000, NULL }, +{ "allowResize", XtRBoolean, 00000000000, 00000100000, NULL }, +{ "allowShellResize", XtRBoolean, 00000000000, 00004000010, NULL }, +{ "allowVert", XtRBoolean, 00000000000, 01000000000, NULL }, +{ "alphaFont1", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "alphaFont2", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "alphaFont3", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "alphaFont4", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "alphaFont5", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "alphaFont6", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "alphaFont7", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "alphaFont8", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "ancestorSensitive", XtRBoolean, 00010777777, 01777777715, NULL }, +{ "anchorCallback", XtRCallback, 00000000004, 00000000000, NULL }, +{ "anchorColor", XtRPixel, 00000000004, 00000000000, NULL }, +{ "anchorUnderlines", XtRInt, 00000000004, 00000000000, NULL }, +{ "argc", XtRInt, 00000000000, 00000000010, NULL }, +{ "argv", XtRStringArray, 00000000000, 00000000010, NULL }, +{ "arrowShadow", XtRDimension, 00000000010, 00000000000, NULL }, +{ "autoFill", XtRBoolean, 00000000000, 00000000100, NULL }, +{ "autoReconfigure", XtRBoolean, 00000000000, 00400000000, NULL }, +{ "background", XtRPixel, 00014777777, 01707773735, NULL }, +{ "backgroundPixmap", XtRPixmap, 00013777777, 01707777715, NULL }, +{ "backgroundStipple", XtRString, 00000000000, 00000200000, NULL }, +{ "backingStore", XtRBackingStore, 00000000000, 00004000000, NULL }, +{ "baseHeight", XtRInt, 00000000000, 00000000010, NULL }, +{ "basePixel", XtRInt, 00000000001, 00000000000, NULL }, +{ "baseWidth", XtRInt, 00000000000, 00000000010, NULL }, +{ "betweenCursor", XtRCursor, 00000000000, 00000100000, NULL }, +{ "bitmap", XtRBitmap, 00004000000, 00201050400, NULL }, +{ "boldFont", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "border", XtRPixel, 00004000000, 00000000000, NULL }, +{ "borderColor", XtRPixel, 00010777777, 01707777715, NULL }, +{ "borderPixmap", XtRPixmap, 00013777777, 01707777715, NULL }, +{ "borderWidth", XtRDimension, 00005777777, 01777777715, NULL }, +{ "bottom", XtREdgeType, 00000000000, 01000003000, NULL }, +{ "bottomMargin", XtRDimension, 00000160100, 00004000000, NULL }, +{ "bottomMargin", XtRPosition, 00000000000, 00000000100, NULL }, +{ "bottomShadowColor", XtRPixel, 00000575770, 00000000000, NULL }, +{ "bottomShadowContast", XtRInt, 00001000000, 00000000000, NULL }, +{ "bottomShadowPixel", XtRPixel, 00010000000, 00000000000, NULL }, +{ "bottomShadowPixmap", XtRPixmap, 00010000000, 00000000000, NULL }, +{ "bottomShadowStipple", XtRBitmap, 00000575770, 00000000000, NULL }, +{ "branchPixmap", XtRBitmap, 00002000000, 00000000000, NULL }, +{ "branchOpenPixmap", XtRBitmap, 00002000000, 00000000000, NULL }, +{ "branchCallback", XtRCallback, 00002000000, 00000000000, NULL }, +{ "busyCursor", XtRString, 00000000001, 00000000000, NULL }, +{ "busyCursorBgColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "busyCursorFgColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "cacheRasters", XtRString, 00000000001, 00000000000, NULL }, +{ "callback", XtRCallback, 00001002010, 00271064540, NULL }, +{ "canvasHeight", XtRDimension, 00000000000, 00000200000, NULL }, +{ "canvasWidth", XtRDimension, 00000000000, 00000200000, NULL }, +{ "changedCell", XtRCallback, 00010000000, 00000000000, NULL }, +{ "changedColumnWidth", XtRCallback, 00010000000, 00000000000, NULL }, +{ "changedRowHeight", XtRCallback, 00010000000, 00000000000, NULL }, +{ "children", XtRWidgetList, 00010775776, 01404503210, NULL }, +{ "cmapInitialize", XtRBoolean, 00000000001, 00000000000, NULL }, +{ "cmapInterpolate", XtRBoolean, 00000000001, 00000000000, NULL }, +{ "cmapName", XtRString, 00000000001, 00000000000, NULL }, +{ "cmapShadow", XtRInt, 00000000001, 00000000000, NULL }, +{ "cmapUpdate", XtRInt, 00000000001, 00000000000, NULL }, +{ "color0", XtRPixel, 00000000001, 00000000000, NULL }, +{ "color1", XtRPixel, 00000000001, 00000000000, NULL }, +{ "color2", XtRPixel, 00000000001, 00000000000, NULL }, +{ "color3", XtRPixel, 00000000001, 00000000000, NULL }, +{ "color4", XtRPixel, 00000000001, 00000000000, NULL }, +{ "color5", XtRPixel, 00000000001, 00000000000, NULL }, +{ "color6", XtRPixel, 00000000001, 00000000000, NULL }, +{ "color7", XtRPixel, 00000000001, 00000000000, NULL }, +{ "color8", XtRPixel, 00000000001, 00000000000, NULL }, +{ "color9", XtRPixel, 00000000001, 00000000000, NULL }, +{ "colormap", XtRColormap, 00011777777, 01707777715, NULL }, +{ "columnForeground", XtRPixel, 00010000000, 00000000000, NULL }, +{ "columnMargin", XtRDimension, 00010000000, 00000000000, NULL }, +{ "columnSpacing", XtRDimension, 00000002000, 00000020000, NULL }, +{ "columnWidth", XtRDimension, 00000002000, 00000000000, NULL }, +{ "columns", XtRInt, 00010414400, 00000000000, NULL }, +{ "copyOnResize", XtRBoolean, 00000000001, 00000000000, NULL }, +{ "cornerRoundPercent", XtRDimension, 00000000000, 00201040400, NULL }, +{ "createPopupChildProc", XtRFunction, 00000000000, 00004000010, NULL }, +{ "createTable", XtRCallback, 00010000000, 00000000000, NULL }, +{ "crosshairCursorColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "cursor", XtRCursor, 00004577770, 00307374504, NULL }, +{ "cursorName", XtRString, 00004002000, 00303274504, NULL }, +{ "dashedAnchorUnderlines", XtRBoolean, 00000000004, 00000000000, NULL }, +{ "dashedVisitedAnchorUnderlines", XtRBoolean, 00000000004, 00000000000, NULL }, +{ "dataCompression", XtRBoolean, 00000000000, 00000000140, NULL }, +{ "debug", XtRBoolean, 00000000002, 00000000000, NULL }, +{ "decay", XtRInt, 00000000000, 00001000000, NULL }, +{ "defaultColumns", XtRInt, 00000002000, 00000020000, NULL }, +{ "defaultDistance", XtRInt, 00000000000, 01000003000, NULL }, +{ "defaultMarker", XtRString, 00000000001, 00000000000, NULL }, +{ "defaultScale", XtRDimension, 00000000000, 00000200000, NULL }, +{ "defaultWidth", XtRInt, 00010000000, 00000000000, NULL }, +{ "deiconifyWindow", XtRBoolean, 00000000001, 00000000000, NULL }, +{ "deleteColumn", XtRCallback, 00010000000, 00000000000, NULL }, +{ "deleteRow", XtRCallback, 00010000000, 00000000000, NULL }, +{ "deleteTable", XtRCallback, 00010000000, 00000000000, NULL }, +{ "delayImageLoads", XtRBoolean, 00000000004, 00000000000, NULL }, +{ "depth", XtRInt, 00010777777, 01707777715, NULL }, +{ "destroyCallback", XtRCallback, 00010777777, 01777777777, NULL }, +{ "dialogBgColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "dialogFgColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "dialogFont1", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "dialogFont2", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "dialogFont3", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "dialogFont4", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "dialogFont5", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "dialogFont6", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "dialogFont7", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "dialogFont8", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "direction", XtRAlignment, 00000000010, 00000000000, NULL }, +{ "displayCaret", XtRBoolean, 00000000000, 00000000100, NULL }, +{ "displayNonprinting", XtRBoolean, 00000000000, 00000000120, NULL }, +{ "displayPosition", XtRInt, 00000000000, 00000000100, NULL }, +{ "echo", XtRBoolean, 00000000000, 00000000120, NULL }, +{ "editBackground", XtRPixel, 00010000000, 00000000000, NULL }, +{ "editForeground", XtRPixel, 00010000000, 00000000000, NULL }, +{ "editable", XtRBoolean, 00010000000, 00000000000, NULL }, +{ "editType", XtREditMode, 00000000000, 00000000140, NULL }, +{ "encoding", XtRUnsignedChar, 00010000000, 00201050400, NULL }, +{ "fancySelections", XtRBoolean, 00000000004, 00000000000, NULL }, +{ "fixedFont", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "fixedboldFont", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "fixeditalicFont", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "flash", XtRBoolean, 00000000000, 00001000000, NULL }, +{ "font", XtRFontStruct, 00013166504, 00221070520, NULL }, +{ "footerText", XtRString, 00000000004, 00000000000, NULL }, +{ "forceBars", XtRBoolean, 00000000000, 01000000000, NULL }, +{ "forceColumns", XtRBoolean, 00000002000, 00000020000, NULL }, +{ "foreground", XtRPixel, 00016166514, 00763274520, NULL }, +{ "frameType", XtRFrameType, 00000575770, 00000000000, NULL }, +{ "frameWidth", XtRDimension, 00000575770, 00000000000, NULL }, +{ "fromHoriz", XtRWidget, 00000000000, 01000003000, NULL }, +{ "fromVert", XtRWidget, 00000000000, 01000003000, NULL }, +{ "geometry", XtRString, 00000000000, 00004000010, NULL }, +{ "getValue", XtRCallback, 00000000000, 00100000000, NULL }, +{ "ginmodeBlinkInterval", XtRInt, 00000000001, 00000000000, NULL }, +{ "ginmodeCursor", XtRString, 00000000001, 00000000000, NULL }, +{ "ginmodeCursorBgColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "ginmodeCursorFgColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "gravity", XtRGravity, 00000000000, 00400000000, NULL }, +{ "gripCursor", XtRCursor, 00000000000, 00000100000, NULL }, +{ "gripIndent", XtRPosition, 00000000000, 00000100000, NULL }, +{ "gripTranslations", XtRTranslationTable, 00000000000, 00000100000, NULL }, +{ "hSpace", XtRDimension, 00000000000, 00400000200, NULL }, +{ "header1Font1Font", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "header2Font2Font", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "header3Font3Font", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "header4Font4Font", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "header5Font5Font", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "header6Font6Font", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "headerText", XtRString, 00000000004, 00000000000, NULL }, +{ "height", XtRDimension, 00014777777, 01777777715, NULL }, +{ "heightInc", XtRInt, 00000000000, 00000000010, NULL }, +{ "highlight", XtRPixel, 00000000000, 00100000000, NULL }, +{ "highlightBackground", XtRPixel, 00000002000, 00000000000, NULL }, +{ "highlightCallback", XtRCallback, 00002000000, 00000000000, NULL }, +{ "highlightColor", XtRPixel, 00000775770, 00000000000, NULL }, +{ "highlightForeground", XtRPixel, 00000002000, 00000000000, NULL }, +{ "highlightPixmap", XtRPixmap, 00000775770, 00000000000, NULL }, +{ "highlightThickness", XtRDimension, 00000775770, 00201040400, NULL }, +{ "horizDistance", XtRInt, 00000000000, 01000003000, NULL }, +{ "horizontalBetweenCursor", XtRCursor, 00000000000, 00000100000, NULL }, +{ "horizontalGripCursor", XtRCursor, 00000000000, 00000100000, NULL }, +{ "horizontalScroll", XtRWidget, 00010000000, 00000000000, NULL }, +{ "horizontalScrollBar", XtRWidget, 00000000004, 00000000000, NULL }, +{ "horizontalScrollOnTop", XtRBoolean, 00000000004, 00000000000, NULL }, +{ "horizontalSpacing", XtRDimension, 00002000000, 00000000000, NULL }, +{ "hunit", XtRFloat, 00000575570, 00000000000, NULL }, +{ "icon", XtRBitmap, 00000000000, 00000001000, NULL }, +{ "iconMask", XtRBitmap, 00000000000, 00000000010, NULL }, +{ "iconName", XtRString, 00000000000, 00000000010, NULL }, +{ "iconNameEncoding", XtRAtom, 00000000000, 00000000010, NULL }, +{ "iconPixmap", XtRBitmap, 00000000000, 00000000010, NULL }, +{ "iconWindow", XtRWindow, 00000000000, 00000000010, NULL }, +{ "iconX", XtRInt, 00000000000, 00000000010, NULL }, +{ "iconY", XtRInt, 00000000000, 00000000010, NULL }, +{ "iconic", XtRBoolean, 00000000000, 00000000010, NULL }, +{ "idleCursor", XtRString, 00000000001, 00000000000, NULL }, +{ "idleCursorBgColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "idleCursorFgColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "image", XtRIcon, 00000001000, 00000000000, NULL }, +{ "imageBorders", XtRBoolean, 00000000004, 00000000000, NULL }, +{ "increment", XtRFloat, 00000000040, 00000000000, NULL }, +{ "indent", XtRDimension, 00002000000, 00000000000, NULL }, +{ "initialDelay", XtRCardinal, 00000000050, 00000000000, NULL }, +{ "initialDelay", XtRInt, 00000000000, 00001000000, NULL }, +{ "initialState", XtRInitialState, 00000000000, 00000000010, NULL }, +{ "insensitiveContrast", XtRInt, 00001000000, 00000000000, NULL }, +{ "innerOffset", XtRDimension, 00000575770, 00000000000, NULL }, +{ "input", XtRBool, 00000000000, 00000000010, NULL }, +{ "insensitiveBorder", XtRPixmap, 00000002000, 00303274504, NULL }, +{ "insertPosition", XtRFunction, 00000775776, 01404503210, NULL }, +{ "insertPosition", XtRInt, 00000000000, 00000000100, NULL }, +{ "internalBorderColor", XtRPixel, 00000000000, 00000100000, NULL }, +{ "internalBorderWidth", XtRDimension, 00000000000, 00000100000, NULL }, +{ "internalHeight", XtRDimension, 00011000000, 00201070400, NULL }, +{ "internalSpace", XtRDimension, 00000000000, 00000200000, NULL }, +{ "internalWidth", XtRDimension, 00011000000, 00201070400, NULL }, +{ "isIndex", XtRBoolean, 00000000004, 00000000000, NULL }, +{ "italicFont", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "jumpProc", XtRCallback, 00000000000, 00002000000, NULL }, +{ "jumpScroll", XtRInt, 00000000000, 00100000000, NULL }, +{ "justify", XtRJustify, 00010000000, 00221050400, NULL }, +{ "label", XtRString, 00000164500, 00225051400, NULL }, +{ "labelClass", XtRPointer, 00000000000, 00004000000, NULL }, +{ "labelShadowWidth", XtRDimension, 00010000000, 00000000000, NULL }, +{ "labels", XtRStringArray, 00000004000, 00000000000, NULL }, +{ "layout", XtRLayout, 00000000002, 00000000000, NULL }, +{ "leafPixmap", XtRBitmap, 00002000000, 00000000000, NULL }, +{ "leafOpenPixmap", XtRBitmap, 00002000000, 00000000000, NULL }, +{ "leafCallback", XtRCallback, 00002000000, 00000000000, NULL }, +{ "left", XtREdgeType, 00000000000, 01000003000, NULL }, +{ "leftBitmap", XtRBitmap, 00000000000, 00221050400, NULL }, +{ "leftCursor", XtRCursor, 00000000000, 00000100000, NULL }, +{ "leftMargin", XtRDimension, 00000160100, 00020000000, NULL }, +{ "leftMargin", XtRPosition, 00000000000, 00000000100, NULL }, +{ "length", XtRDimension, 00000000000, 00002000000, NULL }, +{ "length", XtRInt, 00000000000, 00000000140, NULL }, +{ "lineWidth", XtRDimension, 00002000000, 00440200000, NULL }, +{ "linkCallback", XtRCallback, 00000000004, 00000000000, NULL }, +{ "list", XtRPointer, 00000002000, 00000020000, NULL }, +{ "listingFont", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "literal", XtRBoolean, 00010000000, 00000000000, NULL }, +{ "literalWidth", XtRInt, 00010000000, 00000000000, NULL }, +{ "location", XtRString, 00000575570, 00000000000, NULL }, +{ "longest", XtRInt, 00000002000, 00000020000, NULL }, +{ "lowerCursor", XtRCursor, 00000000000, 00000100000, NULL }, +{ "mappedWhenManaged", XtRBoolean, 00014777777, 01707777715, NULL }, +{ "margin", XtRDimension, 00002000000, 00000000000, NULL }, +{ "marginHeight", XtRDimension, 00000000004, 00000000000, NULL }, +{ "marginWidth", XtRDimension, 00000000004, 00000000000, NULL }, +{ "markerBoxKnotColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerBoxKnotSize", XtRInt, 00000000001, 00000000000, NULL }, +{ "markerBoxLineColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerCircleKnotColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerCircleKnotSize", XtRInt, 00000000001, 00000000000, NULL }, +{ "markerCircleLineColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerCursorBgColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerCursorFgColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerEllipseKnotColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerEllipseKnotSize", XtRInt, 00000000001, 00000000000, NULL }, +{ "markerEllipseLineColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerFill", XtRBoolean, 00000000001, 00000000000, NULL }, +{ "markerFillBgColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerFillColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerFillStyle", XtRInt, 00000000001, 00000000000, NULL }, +{ "markerHighlightColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerHighlightWidth", XtRInt, 00000000001, 00000000000, NULL }, +{ "markerLineKnotColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerLineKnotSize", XtRInt, 00000000001, 00000000000, NULL }, +{ "markerLineLineColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerLineStyle", XtRInt, 00000000001, 00000000000, NULL }, +{ "markerLineWidth", XtRInt, 00000000001, 00000000000, NULL }, +{ "markerPgonKnotColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerPgonKnotSize", XtRInt, 00000000001, 00000000000, NULL }, +{ "markerPgonLineColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerRectKnotColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerRectKnotSize", XtRInt, 00000000001, 00000000000, NULL }, +{ "markerRectLineColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerTextBgColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerTextBorder", XtRInt, 00000000001, 00000000000, NULL }, +{ "markerTextColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerTextFont", XtRFontStruct, 00000000001, 00000000000, NULL }, +{ "markerTextLineColor", XtRPixel, 00000000001, 00000000000, NULL }, +{ "markerTextString", XtRString, 00000000001, 00000000000, NULL }, +{ "markerTranslations", XtRString, 00000000001, 00000000000, NULL }, +{ "maskNumber", XtRInt, 00010000000, 00000000000, NULL }, +{ "max", XtRDimension, 00000000000, 00000100000, NULL }, +{ "maxAspectX", XtRInt, 00000000000, 00000000010, NULL }, +{ "maxAspectY", XtRInt, 00000000000, 00000000010, NULL }, +{ "maxColors", XtRInt, 00000000001, 00000000000, NULL }, +{ "maxHeight", XtRInt, 00000000000, 00000000010, NULL }, +{ "maxMappings", XtRInt, 00000000001, 00000000000, NULL }, +{ "maxRasters", XtRInt, 00000000001, 00000000000, NULL }, +{ "maxSelectable", XtRInt, 00000002000, 00000000000, NULL }, +{ "maxWidth", XtRInt, 00000000000, 00000000010, NULL }, +{ "menuName", XtRString, 00000000000, 00000040000, NULL }, +{ "menuOnScreen", XtRBoolean, 00000000000, 00004000000, NULL }, +{ "min", XtRDimension, 00000000000, 00000100000, NULL }, +{ "minAspectX", XtRInt, 00000000000, 00000000010, NULL }, +{ "minAspectY", XtRInt, 00000000000, 00000000010, NULL }, +{ "minHeight", XtRInt, 00000000000, 00000000010, NULL }, +{ "minScale", XtRInt, 00000000000, 00100000000, NULL }, +{ "minWidth", XtRInt, 00000000000, 00000000010, NULL }, +{ "minimumDelay", XtRInt, 00000000000, 00001000000, NULL }, +{ "minimumThumb", XtRDimension, 00000000000, 00002000000, NULL }, +{ "minsize", XtRDimension, 00000000140, 00000000000, NULL }, +{ "nearEdge", XtRInt, 00000000001, 00000000000, NULL }, +{ "nearVertex", XtRInt, 00000000001, 00000000000, NULL }, +{ "nextTop", XtRCallback, 00000775770, 00000000000, NULL }, +{ "numChildren", XtRCardinal, 00010775776, 01404503210, NULL }, +{ "numberStrings", XtRInt, 00000002000, 00000020000, NULL }, +{ "offCallback", XtRCallback, 00000100000, 00000000000, NULL }, +{ "offIcon", XtRIcon, 00000100000, 00000000000, NULL }, +{ "on", XtRBoolean, 00000100000, 00000000000, NULL }, +{ "onCallback", XtRCallback, 00000100000, 00000000000, NULL }, +{ "onIcon", XtRIcon, 00000100000, 00000000000, NULL }, +{ "orientation", XtROrientation, 00000000000, 00002100200, NULL }, +{ "outerOffset", XtRDimension, 00000575770, 00000000000, NULL }, +{ "overrideRedirect", XtRBoolean, 00000000000, 00004000010, NULL }, +{ "pathCallback", XtRCallback, 00002000000, 00000000000, NULL }, +{ "pasteBuffer", XtRBoolean, 00000002000, 00000020000, NULL }, +{ "percentVerticalSpace", XtRInt, 00000000004, 00000000000, NULL }, +{ "pickTop", XtRBoolean, 00000000000, 00002000000, NULL }, +{ "pieceSize", XtRInt, 00000000000, 00000000140, NULL }, +{ "plainFont", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "plainboldFont", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "plainitalicFont", XtRFontStruct, 00000000004, 00000000000, NULL }, +{ "pointerColor", XtRPixel, 00000002000, 00303274504, NULL }, +{ "pointerColorBackground", XtRPixel, 00000002000, 00303274504, NULL }, +{ "pointerMotionCallback", XtRPointer, 00000000004, 00000000000, NULL }, +{ "popdownCallback", XtRCallback, 00001000000, 00004000010, NULL }, +{ "popupCallback", XtRCallback, 00001000000, 00004000010, NULL }, +{ "popupOnEntry", XtRWidget, 00000000000, 00004000000, NULL }, +{ "position", XtRInt, 00000000000, 00000100000, NULL }, +{ "preferredPaneSize", XtRDimension, 00000000000, 00000100000, NULL }, +{ "previouslyVisitedTestFunction", XtRPointer, 00000000004, 00000000000, NULL }, +{ "radioData", XtRPointer, 00000000000, 00200000000, NULL }, +{ "radioGroup", XtRWidget, 00000000000, 00200000000, NULL }, +{ "raiseWindow", XtRBoolean, 00000000001, 00000000000, NULL }, +{ "refigureMode", XtRBoolean, 00000000000, 00000100000, NULL }, +{ "rel_height", XtRFloat, 00000575570, 00000000000, NULL }, +{ "rel_width", XtRFloat, 00000575570, 00000000000, NULL }, +{ "rel_x", XtRFloat, 00000575570, 00000000000, NULL }, +{ "rel_y", XtRFloat, 00000575570, 00000000000, NULL }, +{ "repeatDelay", XtRCardinal, 00000000050, 00000000000, NULL }, +{ "repeatDelay", XtRInt, 00000000000, 00001000000, NULL }, +{ "reportCallback", XtRCallback, 00000000000, 01000600000, NULL }, +{ "resizable", XtRBoolean, 00001000000, 01000003000, NULL }, +{ "resize", XtRBoolean, 00000000000, 00201250400, NULL }, +{ "resize", XtRResizeMode, 00000000000, 00000000100, NULL }, +{ "resizeToPreferred", XtRBoolean, 00000000000, 00000100000, NULL }, +{ "resolveDelayedImage", XtRPointer, 00000000004, 00000000000, NULL }, +{ "resolveImageFunction", XtRPointer, 00000000004, 00000000000, NULL }, +{ "right", XtREdgeType, 00000000000, 01000003000, NULL }, +{ "rightBitmap", XtRBitmap, 00000000000, 00020000000, NULL }, +{ "rightCursor", XtRCursor, 00000000000, 00000100000, NULL }, +{ "rightMargin", XtRDimension, 00000160100, 00020000000, NULL }, +{ "rightMargin", XtRPosition, 00000000000, 00000000100, NULL }, +{ "rowForeground", XtRPixel, 00010000000, 00000000000, NULL }, +{ "rowHeight", XtRDimension, 00000002000, 00004000000, NULL }, +{ "rowHeight", XtRInt, 00010000000, 00000000000, NULL }, +{ "rowOriented", XtRBoolean, 00010000000, 00000000000, NULL }, +{ "rowMargin", XtRDimension, 00010000000, 00000000000, NULL }, +{ "rowSpacing", XtRDimension, 00000002000, 00000020000, NULL }, +{ "rows", XtRInt, 00010414400, 00000000000, NULL }, +{ "rubberBand", XtRBoolean, 00000000000, 00000200000, NULL }, +{ "rvLength", XtRInt, 00000160100, 00000000000, NULL }, +{ "rvStart", XtRInt, 00000160100, 00000000000, NULL }, +{ "saveUnder", XtRBoolean, 00000000000, 00004000010, NULL }, +{ "screen", XtRScreen, 00010777777, 01707777715, NULL }, +{ "scrollCallback", XtRCallback, 00000000140, 00000000000, NULL }, +{ "scrollDCursor", XtRCursor, 00000000000, 00002000000, NULL }, +{ "scrollHCursor", XtRCursor, 00000000000, 00002000000, NULL }, +{ "scrollHorizontal", XtRScrollMode, 00000000000, 00000000100, NULL }, +{ "scrollLCursor", XtRCursor, 00000000000, 00002000000, NULL }, +{ "scrollProc", XtRCallback, 00000000000, 00002000000, NULL }, +{ "scrollRCursor", XtRCursor, 00000000000, 00002000000, NULL }, +{ "scrollResponse", XtRXTCallbackProc, 00000000140, 00000000000, NULL }, +{ "scrollUCursor", XtRCursor, 00000000000, 00002000000, NULL }, +{ "scrollVCursor", XtRCursor, 00000000000, 00002000000, NULL }, +{ "scrollVertical", XtRScrollMode, 00000000000, 00000000100, NULL }, +{ "scrollbarForeground", XtRPixel, 00000000040, 00000000000, NULL }, +{ "selectTypes", XtRPointer, 00000000000, 00000000100, NULL }, +{ "selectInsensitive", XtRBoolean, 00001000000, 00000000000, NULL }, +{ "selection", XtRLong, 00000004400, 00000000000, NULL }, +{ "selectionStyle", XtRSelectionType, 00000004400, 00000000000, NULL }, +{ "sensitive", XtRBoolean, 00010777777, 01777777715, NULL }, +{ "sensitiveArray", XtRPointer, 00000002000, 00000000000, NULL }, +{ "shadeSurplus", XtRBoolean, 00000002000, 00000000000, NULL }, +{ "shadow", XtRDimension, 00000000040, 00000000000, NULL }, +{ "shadowColor", XtRPixel, 00000000000, 00000200000, NULL }, +{ "shadowScheme", XtRShadowScheme, 00000575770, 00000000000, NULL }, +{ "shadowThickness", XtRDimension, 00000000000, 00000200000, NULL }, +{ "shadowWidth", XtRDimension, 00010000000, 00000000000, NULL }, +{ "shapeStyle", XtRShapeStyle, 00000000000, 00201040400, NULL }, +{ "showGrip", XtRBoolean, 00000000000, 00000100000, NULL }, +{ "shown", XtRFloat, 00000000000, 00002000000, NULL }, +{ "shrinkToFit", XtRBoolean, 00000574500, 00000000000, NULL }, +{ "skipAdjust", XtRBoolean, 00000000000, 00000100000, NULL }, +{ "sliderHeight", XtRDimension, 00000000000, 00000200000, NULL }, +{ "sliderWidth", XtRDimension, 00000000000, 00000200000, NULL }, +{ "sliderX", XtRPosition, 00000000000, 00000200000, NULL }, +{ "sliderY", XtRPosition, 00000000000, 00000200000, NULL }, +{ "startCallback", XtRCallback, 00000000000, 00001000000, NULL }, +{ "state", XtRBoolean, 00000000000, 00200000000, NULL }, +{ "stipple", XtRBitmap, 00000000000, 00040000000, NULL }, +{ "stopCallback", XtRCallback, 00000000000, 00001000000, NULL }, +{ "storeByRow", XtRBoolean, 00000414400, 00000000000, NULL }, +{ "string", XtRString, 00000000000, 00000000140, NULL }, +{ "submitFormCallback", XtRCallback, 00000000004, 00000000000, NULL }, +{ "tabForeground", XtRPixel, 00001000000, 00000000000, NULL }, +{ "tabLabel", XtRString, 00001000000, 00000000000, NULL }, +{ "tableMargin", XtRDimension, 00010000000, 00000000000, NULL }, +{ "tabLeftBitmap", XtRBitmap, 00001000000, 00000000000, NULL }, +{ "tablist", XtRString, 00000162100, 00000000000, NULL }, +{ "text", XtRString, 00000000004, 00000000000, NULL }, +{ "textSink", XtRWidget, 00000000000, 00000000100, NULL }, +{ "textSource", XtRWidget, 00000000000, 00000000100, NULL }, +{ "thickness", XtRDimension, 00000000000, 00002000000, NULL }, +{ "thumb", XtRBitmap, 00000000000, 00002000000, NULL }, +{ "thumbColor", XtRPixel, 00000000100, 00000000000, NULL }, +{ "thumbFrameType", XtRFrameType, 00000000100, 00000000000, NULL }, +{ "thumbFrameWidth", XtRDimension, 00000000100, 00000000000, NULL }, +{ "thumbPixmap", XtRPixmap, 00000000100, 00000000000, NULL }, +{ "thumbProc", XtRCallback, 00000000000, 00002000000, NULL }, +{ "title", XtRString, 00000000000, 00000000010, NULL }, +{ "titleEncoding", XtRAtom, 00000000000, 00000000010, NULL }, +{ "titleText", XtRString, 00000000004, 00000000000, NULL }, +{ "top", XtREdgeType, 00000000000, 01000003000, NULL }, +{ "topMargin", XtRDimension, 00000160100, 00004000000, NULL }, +{ "topMargin", XtRPosition, 00000000000, 00000000100, NULL }, +{ "topOfThumb", XtRFloat, 00000000000, 00002000000, NULL }, +{ "topShadowColor", XtRPixel, 00000575770, 00000000000, NULL }, +{ "topShadowPixel", XtRPixel, 00010000000, 00000000000, NULL }, +{ "topShadowPixmap", XtRPixmap, 00010000000, 00000000000, NULL }, +{ "topShadowContast", XtRInt, 00001000000, 00000000000, NULL }, +{ "topShadowStipple", XtRBitmap, 00000575770, 00000000000, NULL }, +{ "topWidget", XtRWidget, 00001000000, 00000000000, NULL }, +{ "transient", XtRBoolean, 00000000000, 00000000010, NULL }, +{ "transientFor", XtRWidget, 00000000000, 00000000010, NULL }, +{ "translations", XtRTranslationTable, 00010777777, 01707777715, NULL }, +{ "traversalOn", XtRBoolean, 00000775770, 00000000000, NULL }, +{ "treeGC", XtRGC, 00000000000, 00400000000, NULL }, +{ "treeParent", XtRWidget, 00000000000, 00400000000, NULL }, +{ "type", XtRAsciiType, 00000000000, 00000000140, NULL }, +{ "unrealizeCallback", XtRCallback, 00000000000, 00000000100, NULL }, +{ "update", XtRInt, 00000000000, 00100000000, NULL }, +{ "upperCursor", XtRCursor, 00000000000, 00000100000, NULL }, +{ "useBottom", XtRBoolean, 00000000000, 01000000000, NULL }, +{ "useRight", XtRBoolean, 00000000000, 01000000000, NULL }, +{ "useStringInPlace", XtRBoolean, 00000000000, 00000000140, NULL }, +{ "useTimers", XtRBoolean, 00000000001, 00000000000, NULL }, +{ "userData", XtRPointer, 00000775770, 00001000000, NULL }, +{ "userData", XtRPixmap, 00010000000, 00000000000, NULL }, +{ "vSpace", XtRDimension, 00000000000, 00400000200, NULL }, +{ "value", XtRString, 00000000000, 00000001000, NULL }, +{ "vertDistance", XtRInt, 00000000000, 01000003000, NULL }, +{ "vertSpace", XtRInt, 00000000000, 00020000000, NULL }, +{ "vertical", XtRBoolean, 00000000040, 00000000000, NULL }, +{ "verticalBetweenCursor", XtRCursor, 00000000000, 00000100000, NULL }, +{ "verticalGripCursor", XtRCursor, 00000000000, 00000100000, NULL }, +{ "verticalList", XtRBoolean, 00000002000, 00000020000, NULL }, +{ "verticalScroll", XtRWidget, 00010000000, 00000000000, NULL }, +{ "verticalScrollBar", XtRWidget, 00000000004, 00000000000, NULL }, +{ "verticalScrollOnRight", XtRBoolean, 00000000004, 00000000000, NULL }, +{ "verticalSpacing", XtRDimension, 00002000000, 00000000000, NULL }, +{ "view", XtRWidget, 00000000004, 00000000000, NULL }, +{ "visitedAnchorColor", XtRPixel, 00000000004, 00000000000, NULL }, +{ "visitedAnchorUnderlines", XtRInt, 00000000004, 00000000000, NULL }, +{ "visual", XtRVisual, 00000000000, 00004000010, NULL }, +{ "vunit", XtRFloat, 00000575570, 00000000000, NULL }, +{ "waitforwm", XtRBoolean, 00000000000, 00000000010, NULL }, +{ "warpCursor", XtRBoolean, 00000000001, 00000000000, NULL }, +{ "whatCell", XtRCallback, 00010000000, 00000000000, NULL }, +{ "width", XtRDimension, 00014777777, 01777777715, NULL }, +{ "widthInc", XtRInt, 00000000000, 00000000010, NULL }, +{ "winGravity", XtRInt, 00000000000, 00000000010, NULL }, +{ "windowGroup", XtRWindow, 00000000000, 00000000010, NULL }, +{ "wmTimeout", XtRInt, 00000000000, 00000000010, NULL }, +{ "wrap", XtRWrapMode, 00000000000, 00000000100, NULL }, +{ "x", XtRPosition, 00014777777, 01777777715, NULL }, +{ "xorFill", XtRBoolean, 00000000001, 00000000000, NULL }, +{ "xorFillBgColor", XtRInt, 00000000001, 00000000000, NULL }, +{ "xorFillColor", XtRInt, 00000000001, 00000000000, NULL }, +{ "y", XtRPosition, 00014777777, 01777777715, NULL }, |