1
ml*background: BACKGROUND
2
ml*foreground: FOREGROUND
3
ml*XmText*foreground: WINDOW_FOREGROUND
4
ml*XmText*background: WINDOW_BACKGROUND
5
ml*XmList*foreground: WINDOW_FOREGROUND
6
ml*XmList*background: WINDOW_BACKGROUND
7
!ml*XmLabel*foreground: FOREGROUND
8
!ml*XmLabel*background: BACKGROUND
9
ml*XmTextField*background: WINDOW_BACKGROUND
10
ml*XmTextField*foreground: WINDOW_FOREGROUND
11
ml*helpwin*textSW.text.background: WINDOW_BACKGROUND
12
ml*helpwin*textSW.text.foreground: WINDOW_FOREGROUND
13
ml*textSW.text.background: WINDOW_BACKGROUND
14
ml*textSW.text.foreground: WINDOW_FOREGROUND
15
ml*log*textSW.text.background: WINDOW_BACKGROUND
16
ml*log*textSW.text.foreground: WINDOW_FOREGROUND
17
ml*selectColor: BACKGROUND
18
ml*highlightColor: BACKGROUND
21
ml*focusPolicy: pointer
22
ml*XmForm*verticalSpacing: 0
23
ml*XmForm*topOffset: 0
24
ml*XmForm*bottomOffset: 0
25
ml*XmRowColumn*spacing: 0
26
ml*XmRowColumn*marginHeight: 1
27
ml*XmRowColumn.entryBorder: 0
28
ml*XmCascadeButton.marginHeight: 2
29
ml*XmCascadeButton.marginWidth: 8
30
ml*XmToggleButton.marginHeight: 1
31
ml*XmPushButton.marginHeight: 1
34
ml*XmList*highlightThickness: 0