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