ui/motif/toolkit.c

changeset 101
7b3a3130be44
parent 100
d2bd73d28ff1
equal deleted inserted replaced
100:d2bd73d28ff1 101:7b3a3130be44
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) {

mercurial