--- a/ui/motif/toolkit.c Thu Dec 12 20:01:43 2024 +0100 +++ b/ui/motif/toolkit.c Mon Jan 06 22:22:55 2025 +0100 @@ -65,16 +65,15 @@ static String fallback[] = { - //"*fontList: -dt-interface system-medium-r-normal-s*utf*:", - "*text_area*renderTable: f1", - "*f1*fontType: FONT_IS_XFT", - "*f1*fontName: Monospace", - "*f1*fontSize: 11", + //"*fontList: -dt-interface system-medium-r-normal-s*utf*:", "*renderTable: rt", "*rt*fontType: FONT_IS_XFT", "*rt*fontName: Sans", "*rt*fontSize: 11", + "*progresss_spinner*renderTable*fontType: FONT_IS_FONT", + "*progresss_spinner*renderTable*fontName: Cursor", + "*window_frame.shadowType: SHADOW_ETCHED_OUT", "*window_frame.shadowThickness: 1", "*togglebutton.shadowThickness: 1", @@ -309,7 +308,7 @@ 4); } -void ui_destroy_eventdata(Widget w, XtPointer *data, XtPointer d) { +void ui_destroy_eventdata(Widget w, XtPointer data, XtPointer d) { free(data); }