comparison: ui/motif/toolkit.c
ui/motif/toolkit.c
- changeset 433
- 605bb5dc34f1
- parent 427
- 7ead63398a50
equal
deleted
inserted
replaced
| 431:bb7da585debc | 433:605bb5dc34f1 |
|---|---|
| 63 | 63 |
| 64 int event_pipe[2]; | 64 int event_pipe[2]; |
| 65 | 65 |
| 66 | 66 |
| 67 static String fallback[] = { | 67 static String fallback[] = { |
| 68 //"*fontList: -dt-interface system-medium-r-normal-s*utf*:", | 68 //"*fontList: -dt-interface system-medium-r-normal-s*utf*:", |
| 69 "*text_area*renderTable: f1", | |
| 70 "*f1*fontType: FONT_IS_XFT", | |
| 71 "*f1*fontName: Monospace", | |
| 72 "*f1*fontSize: 11", | |
| 73 "*renderTable: rt", | 69 "*renderTable: rt", |
| 74 "*rt*fontType: FONT_IS_XFT", | 70 "*rt*fontType: FONT_IS_XFT", |
| 75 "*rt*fontName: Sans", | 71 "*rt*fontName: Sans", |
| 76 "*rt*fontSize: 11", | 72 "*rt*fontSize: 11", |
| 73 | |
| 74 "*progresss_spinner*renderTable*fontType: FONT_IS_FONT", | |
| 75 "*progresss_spinner*renderTable*fontName: Cursor", | |
| 77 | 76 |
| 78 "*window_frame.shadowType: SHADOW_ETCHED_OUT", | 77 "*window_frame.shadowType: SHADOW_ETCHED_OUT", |
| 79 "*window_frame.shadowThickness: 1", | 78 "*window_frame.shadowThickness: 1", |
| 80 "*togglebutton.shadowThickness: 1", | 79 "*togglebutton.shadowThickness: 1", |
| 81 "*togglebutton.highlightThickness: 2", | 80 "*togglebutton.highlightThickness: 2", |
