76 |
76 |
77 "*window_frame.shadowType: SHADOW_ETCHED_OUT", |
77 "*window_frame.shadowType: SHADOW_ETCHED_OUT", |
78 "*window_frame.shadowThickness: 1", |
78 "*window_frame.shadowThickness: 1", |
79 "*togglebutton.shadowThickness: 1", |
79 "*togglebutton.shadowThickness: 1", |
80 "*togglebutton.highlightThickness: 2", |
80 "*togglebutton.highlightThickness: 2", |
|
81 |
|
82 "*ui_test.background: red", |
81 NULL |
83 NULL |
82 }; |
84 }; |
83 |
85 |
84 void input_proc(XtPointer data, int *source, XtInputId *iid) { |
86 void input_proc(XtPointer data, int *source, XtInputId *iid) { |
85 void *ptr; |
87 void *ptr; |