71 "-misc-liberation sans-medium-r-normal--0-0-0-0-p-0-koi8-uni," |
71 "-misc-liberation sans-medium-r-normal--0-0-0-0-p-0-koi8-uni," |
72 "-misc-fixed-medium-r-normal--14-130-75-75-c-140-jisx0208", |
72 "-misc-fixed-medium-r-normal--14-130-75-75-c-140-jisx0208", |
73 "*rt*fontSize: 10", |
73 "*rt*fontSize: 10", |
74 NULL |
74 NULL |
75 }; |
75 }; |
76 */ |
76 //*/ |
|
77 ///* |
77 static String fallback[] = { |
78 static String fallback[] = { |
78 //"*fontList: -dt-interface system-medium-r-normal-s*utf*:", |
79 //"*fontList: -dt-interface system-medium-r-normal-s*utf*:", |
|
80 "*text_area*renderTable: f1", |
|
81 "*f1*fontType: FONT_IS_XFT", |
|
82 "*f1*fontName: Monospace", |
|
83 "*f1*fontSize: 11", |
79 "*renderTable: rt", |
84 "*renderTable: rt", |
80 "*rt*fontType: FONT_IS_XFT", |
85 "*rt*fontType: FONT_IS_XFT", |
81 "*rt*fontName: Cantarell", |
86 "*rt*fontName: Cantarell", |
82 "*rt*fontSize: 11", |
87 "*rt*fontSize: 11", |
83 NULL |
88 NULL |
84 }; |
89 }; |
|
90 //*/ |
85 |
91 |
86 void input_proc(XtPointer data, int *source, XtInputId *iid) { |
92 void input_proc(XtPointer data, int *source, XtInputId *iid) { |
87 void *ptr; |
93 void *ptr; |
88 read(event_pipe[0], &ptr, sizeof(void*)); |
94 read(event_pipe[0], &ptr, sizeof(void*)); |
89 } |
95 } |