1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
|
(*
Copyright (c) 2000
Cambridge University Technical Services Limited
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.
This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
*)
signature XM_TYPES = sig
include MOTIF_TYPES ;
exception XmNaccelerator of string ;
exception XmNacceleratorText of XmString ;
exception XmNaccelerators of XtAccelerators ;
exception XmNadjustLast of bool ;
exception XmNadjustMargin of bool ;
exception XmNalignment of XmAlignment ;
exception XmNallowOverlap of bool ;
exception XmNallowResize of bool ;
exception XmNallowShellResize of bool ;
exception XmNancestorSensitive of bool ;
exception XmNapplyLabelString of XmString ;
exception XmNargc of int ;
exception XmNargv of string list ;
exception XmNarmColor of int ;
exception XmNarmPixmap of XWindows.Drawable ;
exception XmNarrowDirection of XmArrowDirection ;
exception XmNautoShowCursorPosition of bool ;
exception XmNautoUnmanage of bool ;
exception XmNautomaticSelection of bool ;
exception XmNbackground of int ;
exception XmNbackgroundPixmap of XWindows.Drawable ;
exception XmNbaseHeight of int ;
exception XmNbaseWidth of int ;
exception XmNblinkRate of int ;
exception XmNborderColor of int ;
exception XmNborderPixmap of XWindows.Drawable ;
exception XmNborderWidth of int ;
exception XmNbottomAttachment of XmAttachment ;
exception XmNbottomOffset of int ;
exception XmNbottomPosition of int ;
exception XmNbottomShadowColor of int ;
exception XmNbottomShadowPixmap of XWindows.Drawable ;
exception XmNbottomWidget of Widget ;
exception XmNbuttonAcceleratorText of XmString list ;
exception XmNbuttonAccelerators of string list ;
exception XmNbuttonCount of int ;
exception XmNbuttonFontList of (XWindows.XFontStruct * string) list ;
exception XmNbuttonMnemonicCharSets of XmString list ;
exception XmNbuttonMnemonics of int list ;
exception XmNbuttonSet of int ;
exception XmNbuttonType of XmButtonType list ;
exception XmNbuttons of XmString list ;
exception XmNcancelButton of Widget ;
exception XmNcancelLabelString of XmString ;
exception XmNcascadePixmap of XWindows.Drawable ;
exception XmNchildren of Widget list ;
exception XmNclipWindow of Widget ;
exception XmNcolormap of XWindows.Colormap ;
exception XmNcolumns of int ;
exception XmNcommand of XmString ;
exception XmNcommandWindow of Widget ;
exception XmNcommandWindowLocation of XmCommandWindowLocation ;
exception XmNcursorPosition of int ;
exception XmNcursorPositionVisible of bool ;
exception XmNdecimalPoints of int ;
exception XmNdefaultButton of Widget ;
exception XmNdefaultButtonShadowThickness of int ;
exception XmNdefaultButtonType of XmDefaultButtonType ;
exception XmNdefaultFontList of (XWindows.XFontStruct * string) list ;
exception XmNdefaultPosition of bool ;
exception XmNdeleteResponse of XmDeleteResponse ;
exception XmNdepth of int ;
exception XmNdialogStyle of XmDialogStyle ;
exception XmNdialogTitle of XmString ;
exception XmNdialogType of XmDialogType ;
exception XmNdirListItemCount of int ;
exception XmNdirListItems of XmString list ;
exception XmNdirListLabelString of XmString ;
exception XmNdirMask of XmString ;
exception XmNdirSpec of XmString ;
exception XmNdirectory of XmString ;
exception XmNdirectoryValid of bool ;
exception XmNdoubleClickInterval of int ;
exception XmNeditMode of XmEditMode ;
exception XmNeditable of bool ;
exception XmNentryAlignment of XmAlignment ;
exception XmNentryBorder of int ;
exception XmNfileListItemCount of int ;
exception XmNfileListItems of XmString list ;
exception XmNfileListLabelString of XmString ;
exception XmNfileTypeMask of XmFileTypeMask ;
exception XmNfillOnArm of bool ;
exception XmNfillOnSelect of bool ;
exception XmNfilterLabelString of XmString ;
exception XmNfontList of (XWindows.XFontStruct * string) list ;
exception XmNforeground of int ;
exception XmNfractionBase of int ;
exception XmNgeometry of string ;
exception XmNheight of int ;
exception XmNheightInc of int ;
exception XmNhelpLabelString of XmString ;
exception XmNhighlightColor of int ;
exception XmNhighlightOnEnter of bool ;
exception XmNhighlightPixmap of XWindows.Drawable ;
exception XmNhighlightThickness of int ;
exception XmNhistoryItemCount of int ;
exception XmNhistoryItems of XmString list ;
exception XmNhistoryMaxItems of int ;
exception XmNhistoryVisibleItemCount of int ;
exception XmNhorizontalScrollBar of Widget ;
exception XmNhorizontalSpacing of int ;
exception XmNiconMask of XWindows.Drawable ;
exception XmNiconName of string ;
exception XmNiconNameEncoding of int ;
exception XmNiconPixmap of XWindows.Drawable ;
exception XmNiconWindow of XWindows.Drawable ;
exception XmNiconX of int ;
exception XmNiconY of int ;
exception XmNiconic of bool ;
exception XmNincrement of int ;
exception XmNindicatorOn of bool ;
exception XmNindicatorSize of int ;
exception XmNindicatorType of XmIndicatorType ;
exception XmNinitialDelay of int ;
exception XmNinitialResourcesPersistent of bool ;
exception XmNinitialState of XWindows.XWMStateHint ;
exception XmNinput of bool ;
exception XmNisAligned of bool ;
exception XmNisHomogeneous of bool ;
exception XmNitemCount of int ;
exception XmNitems of XmString list ;
exception XmNkeyboardFocusPolicy of XmKeyboardFocusPolicy ;
exception XmNlabelFontList of (XWindows.XFontStruct * string) list ;
exception XmNlabelInsensitivePixmap of XWindows.Drawable ;
exception XmNlabelPixmap of XWindows.Drawable ;
exception XmNlabelString of XmString ;
exception XmNlabelType of XmLabelType ;
exception XmNleftAttachment of XmAttachment ;
exception XmNleftOffset of int ;
exception XmNleftPosition of int ;
exception XmNleftWidget of Widget ;
exception XmNlistItemCount of int ;
exception XmNlistItems of XmString list ;
exception XmNlistLabelString of XmString ;
exception XmNlistMarginHeight of int ;
exception XmNlistMarginWidth of int ;
exception XmNlistSizePolicy of XmVisualPolicy ;
exception XmNlistSpacing of int ;
exception XmNlistUpdated of bool ;
exception XmNlistVisibleItemCount of int ;
exception XmNmainWindowMarginHeight of int ;
exception XmNmainWindowMarginWidth of int ;
exception XmNmappedWhenManaged of bool ;
exception XmNmappingDelay of int ;
exception XmNmargin of int ;
exception XmNmarginBottom of int ;
exception XmNmarginHeight of int ;
exception XmNmarginLeft of int ;
exception XmNmarginRight of int ;
exception XmNmarginTop of int ;
exception XmNmarginWidth of int ;
exception XmNmaxAspectX of int ;
exception XmNmaxAspectY of int ;
exception XmNmaxHeight of int ;
exception XmNmaxLength of int ;
exception XmNmaxWidth of int ;
exception XmNmaximum of int ;
exception XmNmenuAccelerator of string ;
exception XmNmenuBar of Widget ;
exception XmNmenuCursor of XWindows.Cursor ;
exception XmNmenuHelpWidget of Widget ;
exception XmNmenuHistory of Widget ;
exception XmNmenuPost of string ;
exception XmNmessageAlignment of XmAlignment ;
exception XmNmessageString of XmString ;
exception XmNmessageWindow of Widget ;
exception XmNminAspectX of int ;
exception XmNminAspectY of int ;
exception XmNminHeight of int ;
exception XmNminWidth of int ;
exception XmNminimizeButtons of bool ;
exception XmNminimum of int ;
exception XmNmnemonic of int ;
exception XmNmnemonicCharSet of string ;
exception XmNmultiClick of XmMultiClickType ;
exception XmNmustMatch of bool ;
exception XmNmwmDecorations of int ;
exception XmNmwmFunctions of int ;
exception XmNmwmInputMode of int ;
exception XmNmwmMenu of string ;
exception XmNnavigationType of XmNavigationType ;
exception XmNnoMatchString of XmString ;
exception XmNnoResize of bool ;
exception XmNnumChildren of int ;
exception XmNnumColumns of int ;
exception XmNokLabelString of XmString ;
exception XmNoptionLabel of XmString ;
exception XmNoptionMnemonic of int ;
exception XmNorientation of XmOrientation ;
exception XmNoverrideRedirect of bool ;
exception XmNpacking of XmPacking ;
exception XmNpageIncrement of int ;
exception XmNpaneMaximum of int ;
exception XmNpaneMinimum of int ;
exception XmNpattern of XmString ;
exception XmNpendingDelete of bool ;
exception XmNpopupEnabled of bool ;
exception XmNpostFromButton of int ;
exception XmNprocessingDirection of XmProcessingDirection ;
exception XmNpromptString of XmString ;
exception XmNpushButtonEnabled of bool ;
exception XmNradioAlwaysOne of bool ;
exception XmNradioBehavior of bool ;
exception XmNrecomputeSize of bool ;
exception XmNrefigureMode of bool ;
exception XmNrepeatDelay of int ;
exception XmNresizable of bool ;
exception XmNresizeHeight of bool ;
exception XmNresizePolicy of XmResizePolicy ;
exception XmNresizeWidth of bool ;
exception XmNrightAttachment of XmAttachment ;
exception XmNrightOffset of int ;
exception XmNrightPosition of int ;
exception XmNrightWidget of Widget ;
exception XmNrowColumnType of XmRowColumnType ;
exception XmNrows of int ;
exception XmNrubberPositioning of bool ;
exception XmNsashHeight of int ;
exception XmNsashIndent of int ;
exception XmNsashShadowThickness of int ;
exception XmNsashWidth of int ;
exception XmNsaveUnder of bool ;
exception XmNscaleHeight of int ;
exception XmNscaleMultiple of int ;
exception XmNscaleWidth of int ;
exception XmNscrollBarDisplayPolicy of XmScrollBarDisplayPolicy ;
exception XmNscrollBarPlacement of XmScrollBarPlacement ;
exception XmNscrollHorizontal of bool ;
exception XmNscrollLeftSide of bool ;
exception XmNscrollTopSide of bool ;
exception XmNscrollVertical of bool ;
exception XmNscrolledWindowMarginHeight of int ;
exception XmNscrolledWindowMarginWidth of int ;
exception XmNscrollingPolicy of XmScrollingPolicy ;
exception XmNselectColor of int ;
exception XmNselectInsensitivePixmap of XWindows.Drawable ;
exception XmNselectPixmap of XWindows.Drawable ;
exception XmNselectThreshold of int ;
exception XmNselectedItemCount of int ;
exception XmNselectedItems of XmString list ;
exception XmNselectionArray of XmTextScanType list ;
exception XmNselectionArrayCount of int ;
exception XmNselectionLabelString of XmString ;
exception XmNselectionPolicy of XmSelectionPolicy ;
exception XmNsensitive of bool ;
exception XmNseparatorOn of bool ;
exception XmNseparatorType of XmShadowType ;
exception XmNset of bool ;
exception XmNshadowThickness of int ;
exception XmNshadowType of XmShadowType ;
exception XmNshellUnitType of XmUnitType ;
exception XmNshowArrows of bool ;
exception XmNshowAsDefault of int ;
exception XmNshowSeparator of bool ;
exception XmNshowValue of bool ;
exception XmNskipAdjust of bool ;
exception XmNsliderSize of int ;
exception XmNspacing of int ;
exception XmNstringDirection of XmStringDirection ;
exception XmNsubMenuId of Widget ;
exception XmNsymbolPixmap of XWindows.Drawable ;
exception XmNtextAccelerators of XtAccelerators ;
exception XmNtextColumns of int ;
exception XmNtextFontList of (XWindows.XFontStruct * string) list ;
exception XmNtextString of XmString ;
exception XmNtextTranslations of XtTranslations ;
exception XmNtitle of string ;
exception XmNtitleEncoding of int ;
exception XmNtitleString of XmString ;
exception XmNtopAttachment of XmAttachment ;
exception XmNtopCharacter of int ;
exception XmNtopItemPosition of int ;
exception XmNtopOffset of int ;
exception XmNtopPosition of int ;
exception XmNtopShadowColor of int ;
exception XmNtopShadowPixmap of XWindows.Drawable ;
exception XmNtopWidget of Widget ;
exception XmNtransient of bool ;
exception XmNtransientFor of Widget ;
exception XmNtranslations of XtTranslations ;
exception XmNtraversalOn of bool ;
exception XmNtroughColor of int ;
exception XmNunitType of XmUnitType ;
exception XmNuseAsyncGeometry of bool ;
exception XmNvalue of int ;
exception XmNverifyBell of bool ;
exception XmNverticalScrollBar of Widget ;
exception XmNverticalSpacing of int ;
exception XmNvisibleItemCount of int ;
exception XmNvisibleWhenOff of bool ;
exception XmNvisual of XWindows.Visual ;
exception XmNvisualPolicy of XmVisualPolicy ;
exception XmNwaitForWm of bool ;
exception XmNwidth of int ;
exception XmNwidthInc of int ;
exception XmNwinGravity of int ;
exception XmNwindowGroup of XWindows.Drawable ;
exception XmNwmTimeout of int ;
exception XmNwordWrap of bool ;
exception XmNworkWindow of Widget ;
exception XmNx of int ;
exception XmNy of int ;
val XmCAccelerator: string ;
val XmCAcceleratorText: string ;
val XmCAccelerators: string ;
val XmCAdjustLast: string ;
val XmCAdjustMargin: string ;
val XmCAlignment: string ;
val XmCAllowOverlap: string ;
val XmCAllowShellResize: string ;
val XmCApplyLabelString: string ;
val XmCArgc: string ;
val XmCArgv: string ;
val XmCArmColor: string ;
val XmCArmPixmap: string ;
val XmCArrowDirection: string ;
val XmCAttachment: string ;
val XmCAutoShowCursorPosition: string ;
val XmCAutoUnmanage: string ;
val XmCAutomaticSelection: string ;
val XmCBackground: string ;
val XmCBackgroundPixmap: string ;
val XmCBaseHeight: string ;
val XmCBaseWidth: string ;
val XmCBlinkRate: string ;
val XmCBoolean: string ;
val XmCBorderColor: string ;
val XmCBorderWidth: string ;
val XmCBottomShadowColor: string ;
val XmCBottomShadowPixmap: string ;
val XmCButtonAcceleratorText: string ;
val XmCButtonAccelerators: string ;
val XmCButtonCount: string ;
val XmCButtonFontList: string ;
val XmCButtonMnemonicCharSets: string ;
val XmCButtonMnemonics: string ;
val XmCButtonSet: string ;
val XmCButtonType: string ;
val XmCButtons: string ;
val XmCCancelLabelString: string ;
val XmCChildren: string ;
val XmCClipWindow: string ;
val XmCColormap: string ;
val XmCColumns: string ;
val XmCCommandWindow: string ;
val XmCCommandWindowLocation: string ;
val XmCCursor: string ;
val XmCCursorPosition: string ;
val XmCCursorPositionVisible: string ;
val XmCDecimalPoints: string ;
val XmCDefaultButtonShadowThickness: string ;
val XmCDefaultButtonType: string ;
val XmCDefaultFontList: string ;
val XmCDefaultPosition: string ;
val XmCDeleteResponse: string ;
val XmCDepth: string ;
val XmCDialogStyle: string ;
val XmCDialogTitle: string ;
val XmCDialogType: string ;
val XmCDirListItemCount: string ;
val XmCDirListItems: string ;
val XmCDirListLabelString: string ;
val XmCDirMask: string ;
val XmCDirSpec: string ;
val XmCDirectory: string ;
val XmCDirectoryValid: string ;
val XmCDoubleClickInterval: string ;
val XmCEditMode: string ;
val XmCEditable: string ;
val XmCEntryBorder: string ;
val XmCFileListItemCount: string ;
val XmCFileListItems: string ;
val XmCFileListLabelString: string ;
val XmCFileTypeMask: string ;
val XmCFillOnArm: string ;
val XmCFillOnSelect: string ;
val XmCFilterLabelString: string ;
val XmCFontList: string ;
val XmCForeground: string ;
val XmCFraction: string ;
val XmCGeometry: string ;
val XmCHeight: string ;
val XmCHeightInc: string ;
val XmCHelpLabelString: string ;
val XmCHighlightColor: string ;
val XmCHighlightOnEnter: string ;
val XmCHighlightPixmap: string ;
val XmCHighlightThickness: string ;
val XmCHorizontalScrollBar: string ;
val XmCIconMask: string ;
val XmCIconName: string ;
val XmCIconNameEncoding: string ;
val XmCIconPixmap: string ;
val XmCIconWindow: string ;
val XmCIconX: string ;
val XmCIconY: string ;
val XmCIconic: string ;
val XmCIncrement: string ;
val XmCIndicatorOn: string ;
val XmCIndicatorSize: string ;
val XmCIndicatorType: string ;
val XmCInitialDelay: string ;
val XmCInitialResourcesPersistent: string ;
val XmCInitialState: string ;
val XmCInput: string ;
val XmCIsAligned: string ;
val XmCIsHomogeneous: string ;
val XmCItemCount: string ;
val XmCItems: string ;
val XmCKeyboardFocusPolicy: string ;
val XmCLabelFontList: string ;
val XmCLabelInsensitivePixmap: string ;
val XmCLabelPixmap: string ;
val XmCLabelString: string ;
val XmCLabelType: string ;
val XmCListLabelString: string ;
val XmCListMarginHeight: string ;
val XmCListMarginWidth: string ;
val XmCListSizePolicy: string ;
val XmCListSpacing: string ;
val XmCListUpdated: string ;
val XmCMainWindowMarginHeight: string ;
val XmCMainWindowMarginWidth: string ;
val XmCMappedWhenManaged: string ;
val XmCMappingDelay: string ;
val XmCMargin: string ;
val XmCMarginBottom: string ;
val XmCMarginHeight: string ;
val XmCMarginLeft: string ;
val XmCMarginRight: string ;
val XmCMarginTop: string ;
val XmCMarginWidth: string ;
val XmCMaxAspectX: string ;
val XmCMaxAspectY: string ;
val XmCMaxHeight: string ;
val XmCMaxItems: string ;
val XmCMaxLength: string ;
val XmCMaxWidth: string ;
val XmCMaximum: string ;
val XmCMenuBar: string ;
val XmCMenuPost: string ;
val XmCMenuWidget: string ;
val XmCMessageString: string ;
val XmCMessageWindow: string ;
val XmCMinAspectX: string ;
val XmCMinAspectY: string ;
val XmCMinHeight: string ;
val XmCMinWidth: string ;
val XmCMinimizeButtons: string ;
val XmCMinimum: string ;
val XmCMnemonic: string ;
val XmCMnemonicCharSet: string ;
val XmCMultiClick: string ;
val XmCMustMatch: string ;
val XmCMwmDecorations: string ;
val XmCMwmFunctions: string ;
val XmCMwmInputMode: string ;
val XmCMwmMenu: string ;
val XmCNavigationType: string ;
val XmCNoMatchString: string ;
val XmCNoResize: string ;
val XmCNumChildren: string ;
val XmCNumColumns: string ;
val XmCOffset: string ;
val XmCOkLabelString: string ;
val XmCOptionLabel: string ;
val XmCOptionMnemonic: string ;
val XmCOrientation: string ;
val XmCOverrideRedirect: string ;
val XmCPacking: string ;
val XmCPageIncrement: string ;
val XmCPaneMaximum: string ;
val XmCPaneMinimum: string ;
val XmCPattern: string ;
val XmCPendingDelete: string ;
val XmCPixmap: string ;
val XmCPopupEnabled: string ;
val XmCPosition: string ;
val XmCPostFromButton: string ;
val XmCProcessingDirection: string ;
val XmCPromptString: string ;
val XmCPushButtonEnabled: string ;
val XmCRadioAlwaysOne: string ;
val XmCRadioBehavior: string ;
val XmCRecomputeSize: string ;
val XmCRepeatDelay: string ;
val XmCResizeHeight: string ;
val XmCResizePolicy: string ;
val XmCResizeWidth: string ;
val XmCRowColumnType: string ;
val XmCRows: string ;
val XmCRubberPositioning: string ;
val XmCSashHeight: string ;
val XmCSashIndent: string ;
val XmCSashWidth: string ;
val XmCSaveUnder: string ;
val XmCScaleHeight: string ;
val XmCScaleMultiple: string ;
val XmCScaleWidth: string ;
val XmCScroll: string ;
val XmCScrollBarDisplayPolicy: string ;
val XmCScrollBarPlacement: string ;
val XmCScrollSide: string ;
val XmCScrolledWindowMarginHeight: string ;
val XmCScrolledWindowMarginWidth: string ;
val XmCScrollingPolicy: string ;
val XmCSelectColor: string ;
val XmCSelectInsensitivePixmap: string ;
val XmCSelectPixmap: string ;
val XmCSelectThreshold: string ;
val XmCSelectedItemCount: string ;
val XmCSelectedItems: string ;
val XmCSelectionArray: string ;
val XmCSelectionArrayCount: string ;
val XmCSelectionLabelString: string ;
val XmCSelectionPolicy: string ;
val XmCSensitive: string ;
val XmCSeparatorOn: string ;
val XmCSeparatorType: string ;
val XmCSet: string ;
val XmCShadowThickness: string ;
val XmCShadowType: string ;
val XmCShellUnitType: string ;
val XmCShowArrows: string ;
val XmCShowAsDefault: string ;
val XmCShowSeparator: string ;
val XmCShowValue: string ;
val XmCSliderSize: string ;
val XmCSpacing: string ;
val XmCStringDirection: string ;
val XmCTextFontList: string ;
val XmCTextPosition: string ;
val XmCTextString: string ;
val XmCTitle: string ;
val XmCTitleEncoding: string ;
val XmCTitleString: string ;
val XmCTopItemPosition: string ;
val XmCTopShadowColor: string ;
val XmCTopShadowPixmap: string ;
val XmCTransient: string ;
val XmCTransientFor: string ;
val XmCTranslations: string ;
val XmCTraversalOn: string ;
val XmCTroughColor: string ;
val XmCUnitType: string ;
val XmCUseAsyncGeometry: string ;
val XmCValue: string ;
val XmCVerifyBell: string ;
val XmCVerticalScrollBar: string ;
val XmCVisibleItemCount: string ;
val XmCVisibleWhenOff: string ;
val XmCVisual: string ;
val XmCVisualPolicy: string ;
val XmCWaitForWm: string ;
val XmCWidget: string ;
val XmCWidth: string ;
val XmCWidthInc: string ;
val XmCWinGravity: string ;
val XmCWindowGroup: string ;
val XmCWmTimeout: string ;
val XmCWordWrap: string ;
val XmCWorkWindow: string ;
val XmCX: string ;
val XmCY: string ;
end (* sig *) ;
|
