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", |
307 PropModeReplace, |
306 PropModeReplace, |
308 (const unsigned char*)"dark", |
307 (const unsigned char*)"dark", |
309 4); |
308 4); |
310 } |
309 } |
311 |
310 |
312 void ui_destroy_eventdata(Widget w, XtPointer *data, XtPointer d) { |
311 void ui_destroy_eventdata(Widget w, XtPointer data, XtPointer d) { |
313 free(data); |
312 free(data); |
314 } |
313 } |
315 |
314 |
316 void ui_set_widget_groups(UiContext *ctx, Widget widget, const int *groups) { |
315 void ui_set_widget_groups(UiContext *ctx, Widget widget, const int *groups) { |
317 if(!groups) { |
316 if(!groups) { |