56 |
56 |
57 variablePanel.trackingStyle #solidLine |
57 variablePanel.trackingStyle #solidLine |
58 |
58 |
59 framedBox.labelPosition #topLeft |
59 framedBox.labelPosition #topLeft |
60 |
60 |
61 labelForegroundColor Color black |
61 label.foregroundColor Color black |
62 |
62 |
63 buttonActiveLevel -2 |
63 button.activeLevel -2 |
64 buttonPassiveLevel 2 |
64 button.passiveLevel 2 |
65 buttonReturnButtonHasBorder true |
65 button.returnButtonHasBorder true |
66 |
66 |
67 buttonActiveBackgroundColor =mediumColor |
67 button.activeBackgroundColor =mediumColor |
68 buttonActiveForegroundColor Color black |
68 button.activeForegroundColor Color black |
69 buttonDisabledForegroundColor =shadowColor |
69 button.disabledForegroundColor =shadowColor |
70 |
70 |
71 #if Display hasGreyscales not |
71 #if Display hasGreyscales not |
72 buttonActiveBackgroundColor Color grey:80 |
72 button.activeBackgroundColor Color grey:80 |
73 #endif |
73 #endif |
74 |
74 |
75 arrowButtonStyle #motif |
75 arrowButton.style #motif |
76 arrowButtonActiveLevel 0 |
76 arrowButton.activeLevel 0 |
77 arrowButtonPassiveLevel 0 |
77 arrowButton.passiveLevel 0 |
78 |
78 |
79 arrowButtonForegroundColor =viewGrey |
79 arrowButton.foregroundColor =viewGrey |
80 arrowButtonBackgroundColor =mediumColor |
80 arrowButton.backgroundColor =mediumColor |
81 arrowButtonActiveForegroundColor =viewGrey |
81 arrowButton.activeForegroundColor =viewGrey |
82 arrowButtonActiveBackgroundColor =viewGrey |
82 arrowButton.activeBackgroundColor =viewGrey |
83 arrowButtonDisabledForegroundColor =viewGrey |
83 arrowButton.disabledForegroundColor =viewGrey |
84 |
84 |
85 editFieldBackgroundColor =mediumColor |
85 editField.backgroundColor =mediumColor |
86 |
86 |
87 menuHilightLevel 2 |
87 menu.hilightLevel 2 |
88 menuSeparatingLineInset 0 |
88 menu.separatingLineInset 0 |
89 menuViewBackgroundColor =viewGrey |
89 menu.viewBackgroundColor =viewGrey |
90 menuDisabledForegroundColor =shadowColor |
90 menu.disabledForegroundColor =shadowColor |
91 |
91 |
92 pullDownMenuKeepMenu true |
92 pullDownMenu.keepMenu true |
93 pullDownMenuLevel 1 |
93 pullDownMenu.level 1 |
94 pullDownMenuHilightLevel 2 |
94 pullDownMenu.hilightLevel 2 |
95 #if Display hasGreyscales not |
95 #if Display hasGreyscales not |
96 pullDownMenuHilightForegroundColor Color white |
96 pullDownMenu.hilightForegroundColor Color white |
97 pullDownMenuHilightBackgroundColor Color black |
97 pullDownMenu.hilightBackgroundColor Color black |
98 #endif |
98 #endif |
99 pullDownMenuAutoselectFirst true |
99 pullDownMenu.autoselectFirst true |
100 |
100 |
101 #selectionMultiSelectionModifier #Control |
101 #selection.multiSelectionModifier #Control |
102 selectionRightArrowLevel -1 |
102 #selection.rightArrowLevel -1 |
103 selectionRightArrowLevel 2 |
103 selection.rightArrowLevel 2 |
104 selectionLineSpacing 4 |
104 selection.lineSpacing 4 |
105 selectionForegroundColor Color black |
105 selection.foregroundColor Color black |
106 selectionHilightBackgroundColor Color black |
106 selection.hilightBackgroundColor Color black |
107 selectionHilightStyle #motif |
107 selection.hilightStyle #motif |
108 selectionDisabledForegroundColor =shadowColor |
108 selection.disabledForegroundColor =shadowColor |
109 |
109 |
110 #textCursorType #caret |
110 #textCursorType #caret |
111 textCursorType #ibeam |
111 textCursor.type #ibeam |
112 textCursorNoFocusForegroundColor Color grey |
112 textCursor.noFocusForegroundColor Color grey |
113 |
113 |
114 activeHelpBackgroundColor Color yellow lightened |
114 activeHelp.backgroundColor Color yellow lightened |
115 activeHelpBorderWidth 2 |
115 activeHelp.borderWidth 2 |
116 |
116 |
117 rulerForegroundColor Color black |
117 ruler.foregroundColor Color black |
118 rulerBackgroundColor =viewGrey |
118 ruler.backgroundColor =viewGrey |
119 |
119 |
120 #if Display hasGrayscales not |
120 #if Display hasGrayscales not |
121 htmlAnchorUnderline true |
121 html.anchorUnderline true |
122 htmlAnchorForegroundColor Color black |
122 html.anchorForegroundColor Color black |
123 htmlBackgroundColor Color white |
123 html.backgroundColor Color white |
124 htmlActiveAnchorForegroundColor Color black |
124 html.activeAnchorForegroundColor Color black |
125 htmlActiveAnchorBackgroundColor =htmlBackgroundColor |
125 html.activeAnchorBackgroundColor =htmlBackgroundColor |
126 htmlVisitedAnchorForegroundColor Color black |
126 html.visitedAnchorForegroundColor Color black |
127 htmlExampleAnchorForegroundColor Color black |
127 html.exampleAnchorForegroundColor Color black |
128 #endif |
128 #endif |
129 |
129 |
130 infoBoxSeparator true |
130 infoBox.separator true |
131 infoBoxIconFile 'bitmaps/Information_motif.xbm' |
131 infoBox.iconFile 'bitmaps/Information_motif.xbm' |
132 warningBoxIconFile 'bitmaps/Warning_motif.xbm' |
132 warningBox.iconFile 'bitmaps/Warning_motif.xbm' |
133 requestBoxIconFile 'bitmaps/Request_motif.xbm' |
133 requestBox.iconFile 'bitmaps/Request_motif.xbm' |
134 |
134 |
135 |
135 |
136 #if Display hasGrayscales |
136 #if Display hasGrayscales |
137 arrowButtonUpForm Image extent:11@12 \ |
137 arrowButton.upForm Image extent:11@12 \ |
138 depth:2 \ |
138 depth:2 \ |
139 bits:#[4r0000 4r0100 4r0000 \ |
139 bits:#[4r0000 4r0100 4r0000 \ |
140 4r0000 4r1120 4r0000 \ |
140 4r0000 4r1120 4r0000 \ |
141 4r0000 4r1120 4r0000 \ |
141 4r0000 4r1120 4r0000 \ |
142 4r0001 4r1322 4r0000 \ |
142 4r0001 4r1322 4r0000 \ |