1
2static String Fallbacks[] = {
3  "XR.geometry:					700x550",
4  "XR*highlightThickness:			1",
5  "XR*fontToggle*borderWidth:			0",
6  "XR*fontToggle*highlightThickness:		0",
7  "XR*fontApplyButton.borderWidth:		0",
8  "XR*fontResetButton.borderWidth:		0",
9  "XR*fontPropagateButton.borderWidth:		0",
10  "XR*fontDoneButton.borderWidth:		0",
11  "XR*quitButton.borderWidth:			0",
12  "XR*intButton.borderWidth:			0",
13  "XR*optionButton.borderWidth:			0",
14  "XR*helpButton.borderWidth:			0",
15  "XR*fileButton.borderWidth:			0",
16  "XR*messageLabel.borderWidth:			0",
17  "XR*fontFamilyListTitle.borderWidth:		0",
18  "XR*fontPurposeListTitle.borderWidth:		0",
19  "XR*fileBox*List.defaultColumns:		1",
20  "XR*fileBox*List.forceColumns:		True",
21  "XR*fontFamilyListViewport.allowVert:		True",
22  "XR*fontPurposeListViewport.allowVert:	True",
23  "XR*fontToggleViewport.allowHoriz:		True",
24  "XR*fontToggleViewport.useBottom:		True",
25  "XR*fontToggleViewport.forceBars:		True",
26  "XR*fontToggleViewport.allowVert:		True",
27  "XR*Text*displayNonprinting:			False",
28  "XR*inputPane*displayNonprinting:		True",
29  "XR*inputHistory.cursor:			left_ptr",
30  "XR*inputHistory.displayCaret:		True",
31  "XR*helpButton.fromHoriz:			intButton",
32  "XR*optionButton.fromHoriz:			helpButton",
33  "XR*fileButton.fromHoriz:			optionButton",
34  "XR*intButton.fromHoriz:			quitButton",
35  "XR*outputPane.allowVert:			True",
36  "XR*outputPane.allowHoriz:			False",
37  "XR*outputPane.forceBars:			True",
38  "XR*quitButton.label:				Quit",
39  "XR*intButton.label:				Interrupt",
40  "XR*optionButton.label:			Options",
41  "XR*helpButton.label:				Help",
42  "XR*fileButton.label:				File",
43  "XR*question*yesButton.label:			Yes",
44  "XR*question*noButton.label:			No",
45  "XR*fontVerifyYesButton.label:		Yes",
46  "XR*fontVerifyNoButton.label:			No",
47  "XR*fileTitleLabel.label:			File Options",
48  "XR*fileMessageLabel.label:			Select or Toggle Desired Options",
49  "XR*fileLoadPackage.label:			Load System Package",
50  "XR*fileLoadModule.label:			Load User Package",
51  "XR*fileReadFile.label:			Read File Noisily",
52  "XR*fileReadQFile.label:			Read File Quietly",
53  "XR*fileOkButton.label:			Done",
54  "XR*optTitleLabel.label:			Option Box",
55  "XR*optMessageLabel.label:			Select or Toggle Desired Options",
56  "XR*optHistLengthCommand.label:		History Length",
57  "XR*optTogglePaging.label:			Page Mode",
58  "XR*optToggleGreek.label:			Use Greek Font",
59  "XR*optToggleMonoRv.label:			Reverse Video",
60  "XR*optToggleBracketMatch.label:		Match Brackets",
61  "XR*optToggleForceBrackets.label:		Force Bracket Matching",
62  "XR*fileToggleLogging.label:			Log to File",
63  "XR*optToggleGraphics.label:			Graphics",
64  "XR*filePrintScreen.label:			Send to Printer",
65  "XR*optFontSelection.label:			Font Selection",
66  "XR*optOkButton.label:			Done",
67  "XR*yesButton.label:				Apply",
68  "XR*noButton.label:				Cancel",
69  "XR*fontFamilyListTitle.label:		Family",
70  "XR*fontPurposeListTitle.label:		Purpose",
71  "XR*fontAnyButton.label:			Any",
72  "XR*fontBoldButton.label:			Bold",
73  "XR*fontItalicButton.label:			Italic",
74  "XR*fontScaleButton.label:			Scale",
75  "XR*fontShowButton.label:			Show",
76  "XR*fontApplyButton.label:			Apply",
77  "XR*fontResetButton.label:			Reset",
78  "XR*fontPropagateButton.label:		Propagate",
79  "XR*fontDoneButton.label:			Done",
80  "XR*fontScaleApply.label:			Apply",
81  "XR*fontScaleCancel.label:			Cancel",
82  "XR*Dialog*font:				-*-helvetica-medium-r-*-*-14-*-*-*-*-*-*-*",
83  "XR*inputHistory*Translations:		#override <Key>Return:			copy-down()",
84  "XR*genericDialog*Text*Translations:		#override <Key>Return:			end-of-line()",
85  "XR*scale*Text*Translations:			#override <Key>Return:			end-of-line()",
86  "XR*subPopUp*Text*Translations:		#override <Key>Return:			end-of-line()",
87  "XR*printBox*Text*Translations:		#override <Key>Return:			end-of-line()",
88  "XR*searchText*Translations:			#override <Key>Return:			end-of-line()",
89  "XR*fileNameEd*Translations:			#override <Key>Return:			end-of-line()",
90  "XR*fontShell*Translations:			#override <Message>WM_PROTOCOLS:	reduce-font-done()",
91  NULL,
92};
93
94
95static String FallbackMono[] = {
96  "XR*infoLabel.borderWidth:			0",
97  "XR*optTitleLabel.borderWidth:		0",
98  "XR*optMessageLabel.borderWidth:		0",
99  "XR*optOkButton.borderWidth:			0",
100  "XR*fileTitleLabel.borderWidth:		0",
101  "XR*fileMessageLabel.borderWidth:		0",
102  "XR*fileOkButton.borderWidth:			0",
103  "XR*printLabel.borderWidth:			0",
104  "XR*printCommandBox.borderWidth:		0",
105  "XR*fontButtonBox*borderWidth:		0",
106  NULL,
107};
108
109static String FallbackColour[] = {
110
111  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.optTitleLabel.borderWidth:		1",
112  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.optMessageLabel.borderWidth:		1",
113  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.optOkButton.borderWidth:			1",
114  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.fileTitleLabel.borderWidth:		1",
115  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.fileMessageLabel.borderWidth:		1",
116  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.fileOkButton.borderWidth:			1",
117  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox*printBox.printLabel.borderWidth:		1",
118  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox*printBox.printCommandBox.borderWidth:	1",
119  "XR*font selector*fontButtonBox.borderWidth:							1",
120  "XR.outerBox.wholeThing.outputPane*foreground:						black",
121  "XR.outerBox.wholeThing.inputPane*foreground:							white",
122  "XR.outerBox.wholeThing.inputPane*Scrollbar*foreground:					black",
123  "XR.outerBox.wholeThing.inputHistory*foreground:						black",
124  "XR*messageBox*background:									rgb:4848/3d3d/8b8b",
125  "XR*messageBox*foreground:									rgb:B020/E410/F26D",
126  "XR.outerBox.wholeThing.outputPane*background:						rgb:8020/B410/C26D",
127  "XR.outerBox.wholeThing.inputPane*background:							rgb:4c8b/8d1d/9EF8",
128  "XR.outerBox.wholeThing.inputHistory*background:						rgb:5333/9963/ACCB",
129  "XR.outerBox.wholeThing.titleBar*background:							rgb:4c8b/8d1d/9EF8",
130  "XR.outerBox.wholeThing.titleBar.buttonBox*background:					rgb:8020/B410/C26D",
131  "XR.outerBox.background:									rgb:1df8/4a56/57c9",
132  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.background:				rgb:4c8b/8d1d/9EF8",
133  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.optTitleLabel.background:		rgb:5333/9963/ACCB",
134  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.optMessageLabel.background:		rgb:5333/9963/ACCB",
135  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.optOkButton.background:			rgb:5333/9963/ACCB",
136  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.background:				rgb:4c8b/8d1d/9EF8",
137  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.fileTitleLabel.background:			rgb:5333/9963/ACCB",
138  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.fileMessageLabel.background:		rgb:5333/9963/ACCB",
139  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.fileOkButton.background:			rgb:5333/9963/ACCB",
140  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox*printBox.background:			rgb:4c8b/8d1d/9EF8",
141  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox*printBox*background:			rgb:8020/B410/C26D",
142  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox*printBox.printLabel.background:		rgb:5333/9963/ACCB",
143  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox*printBox.printCommandBox*background:	rgb:5333/9963/ACCB",
144  "XR*font selector.fontForm.background:							rgb:4c8b/8d1d/9EF8",
145  "XR*font selector*fontButtonBox*background:							rgb:8020/B410/C26D",
146  "XR*font selector*fontToggleViewportBox*background:						rgb:8020/B410/C26D",
147  "XR*font selector*fontToggleViewportBox.background:						rgb:5333/9963/ACCB",
148  "XR*font selector*fontPurposeBox*background:							rgb:8020/B410/C26D",
149  "XR*font selector*fontPurposeBox.background:							rgb:5333/9963/ACCB",
150  "XR*font selector*fontPurposeBox*Label*background:						rgb:5333/9963/ACCB",
151  "XR*font selector*fontFamilyBox*background:							rgb:8020/B410/C26D",
152  "XR*font selector*fontFamilyBox.background:							rgb:5333/9963/ACCB",
153  "XR*font selector*fontFamilyBox*Label*background:						rgb:5333/9963/ACCB",
154  "XR*font selector*verify*background:								rgb:5333/9963/ACCB",
155  "XR*font selector*verify*fontVerifyShowBox*background:					rgb:8020/B410/C26D",
156  "XR.outerBox.wholeThing.titleBar.buttonBox*file selector.fileBox*background:			rgb:4c8b/8d1d/9EF8",
157  "XR.outerBox.wholeThing.titleBar.buttonBox*file selector.fileBox*Text*background:		rgb:8020/B410/C26D",
158  "XR.outerBox.wholeThing.titleBar.buttonBox*file selector.fileBox*Label.background:		rgb:8020/B410/C26D",
159  "XR.outerBox.wholeThing.titleBar.buttonBox*file selector.fileBox*Command.background:		rgb:5333/9963/ACCB",
160  "XR.outerBox.wholeThing.titleBar.buttonBox*file selector.fileBox*fileLabel.background:	rgb:5333/9963/ACCB",
161  "XR.outerBox.wholeThing.titleBar.buttonBox*file selector.fileBox*Viewport*background:		rgb:8020/B410/C26D",
162  "XR*font selector*verify*file selector.fileBox*background:					rgb:4c8b/8d1d/9EF8",
163  "XR*font selector*verify*file selector.fileBox*Label.background:				rgb:8020/B410/C26D",
164  "XR*font selector*verify*file selector.fileBox*Command.background:				rgb:5333/9963/ACCB",
165  "XR*font selector*verify*file selector.fileBox*fileLabel.background:				rgb:5333/9963/ACCB",
166  "XR*font selector*verify*file selector.fileBox*Viewport*background:				rgb:8020/B410/C26D",
167  "XR*helpBox*background:									rgb:0000/428f/0000",
168  "XR*helpBox*buttonBox*background:								rgb:0000/528f/0000",
169  "XR*helpBox*menuBox*background:								rgb:0000/528f/0000",
170  "XR*helpBox*infoBox*background:								rgb:0000/628f/0000",
171  "XR*helpBox*commandBox*background:								rgb:0000/728f/0000",
172  "XR*helpBox*foreground:									rgb:ffff/e4e4/b5b5",
173  NULL,
174};
175
176
177static String FallbackOldColour[] = {
178
179  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.optTitleLabel.borderWidth:		1",
180  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.optMessageLabel.borderWidth:		1",
181  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.optOkButton.borderWidth:			1",
182  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.fileTitleLabel.borderWidth:		1",
183  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.fileMessageLabel.borderWidth:		1",
184  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.fileOkButton.borderWidth:			1",
185  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox*printBox.printLabel.borderWidth:		1",
186  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox*printBox.printCommandBox.borderWidth:	1",
187  "XR*font selector*fontButtonBox.borderWidth:							1",
188  "XR.outerBox.wholeThing.outputPane*foreground:						black",
189  "XR.outerBox.wholeThing.inputPane*foreground:							white",
190  "XR.outerBox.wholeThing.inputPane*Scrollbar*foreground:					black",
191  "XR.outerBox.wholeThing.inputHistory*foreground:						black",
192  "XR*messageBox*background:									#483d8b",
193  "XR*messageBox*foreground:									#b0e4f2",
194  "XR.outerBox.wholeThing.outputPane*background:						#80b4c2",
195  "XR.outerBox.wholeThing.inputPane*background:							#4c8d9e",
196  "XR.outerBox.wholeThing.inputHistory*background:						#5399ac",
197  "XR.outerBox.wholeThing.titleBar*background:							#4c8d9e",
198  "XR.outerBox.wholeThing.titleBar.buttonBox*background:					#80b4c2",
199  "XR.outerBox.background:									#1d4a57",
200  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.background:				#4c8d9e",
201  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.optTitleLabel.background:		#5399ac",
202  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.optMessageLabel.background:		#5399ac",
203  "XR.outerBox.wholeThing.titleBar.buttonBox*optionBox.optOkButton.background:			#5399ac",
204  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.background:				#4c8d9e",
205  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.fileTitleLabel.background:			#5399ac",
206  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.fileMessageLabel.background:		#5399ac",
207  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox.fileOkButton.background:			#5399ac",
208  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox*printBox.background:			#4c8d9e",
209  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox*printBox*background:			#80b4c2",
210  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox*printBox.printLabel.background:		#5399ac",
211  "XR.outerBox.wholeThing.titleBar.buttonBox*fileBox*printBox.printCommandBox*background:	#5399ac",
212  "XR*font selector.fontForm.background:							#4c8d9e",
213  "XR*font selector*fontButtonBox*background:							#80b4c2",
214  "XR*font selector*fontToggleViewportBox*background:						#80b4c2",
215  "XR*font selector*fontToggleViewportBox.background:						#5399ac",
216  "XR*font selector*fontPurposeBox*background:							#80b4c2",
217  "XR*font selector*fontPurposeBox.background:							#5399ac",
218  "XR*font selector*fontPurposeBox*Label*background:						#5399ac",
219  "XR*font selector*fontFamilyBox*background:							#80b4c2",
220  "XR*font selector*fontFamilyBox.background:							#5399ac",
221  "XR*font selector*fontFamilyBox*Label*background:						#5399ac",
222  "XR*font selector*verify*background:								#5399ac",
223  "XR*font selector*verify*fontVerifyShowBox*background:					#80b4c2",
224  "XR.outerBox.wholeThing.titleBar.buttonBox*file selector.fileBox*background:			#4c8d9e",
225  "XR.outerBox.wholeThing.titleBar.buttonBox*file selector.fileBox*Text*background:		#80b4c2",
226  "XR.outerBox.wholeThing.titleBar.buttonBox*file selector.fileBox*Label.background:		#80b4c2",
227  "XR.outerBox.wholeThing.titleBar.buttonBox*file selector.fileBox*Command.background:		#5399ac",
228  "XR.outerBox.wholeThing.titleBar.buttonBox*file selector.fileBox*fileLabel.background:	#5399ac",
229  "XR.outerBox.wholeThing.titleBar.buttonBox*file selector.fileBox*Viewport*background:		#80b4c2",
230  "XR*font selector*verify*file selector.fileBox*background:					#4c8d9e",
231  "XR*font selector*verify*file selector.fileBox*Label.background:				#80b4c2",
232  "XR*font selector*verify*file selector.fileBox*Command.background:				#5399ac",
233  "XR*font selector*verify*file selector.fileBox*fileLabel.background:				#5399ac",
234  "XR*font selector*verify*file selector.fileBox*Viewport*background:				#80b4c2",
235  "XR*helpBox*background:									#004200",
236  "XR*helpBox*buttonBox*background:								#004200",
237  "XR*helpBox*menuBox*background:								#005200",
238  "XR*helpBox*infoBox*background:								#006200",
239  "XR*helpBox*commandBox*background:								#007200",
240  "XR*helpBox*foreground:									#ffe4b5",
241  NULL,
242};
243
244