205 |
*file_selection_widget.title: File Selector |
*file_selection_widget.title: File Selector |
206 |
*antiload_text_widget.fontList: fixed |
*antiload_text_widget.fontList: fixed |
207 |
|
|
208 |
|
*About_popup*form*background: white |
209 |
|
*About_popup*form*fontList: -*-times-medium-r-*-*-12-*-*-*-*-*-*-* |
210 |
|
*About_popup*form.package.foreground: red |
211 |
|
*About_popup*form.package.fontList: -*-helvetica-*-r-*-*-18-*-*-*-*-*-*-* |
212 |
|
*About_popup*form.XmPushButton.shadowThickness: 0 |
213 |
|
*About_popup*form.XmPushButton.highlightThickness: 0 |
214 |
|
*About_popup*form.XmPushButton.foreground: blue |
215 |
|
*About_popup*form.XmPushButton.fontList: -*-times-medium-i-*-*-12-*-*-*-*-*-*-* |
216 |
|
*About_popup*form.description.fontList: -*-times-*-r-*-*-12-*-*-*-*-*-*-* |