texlive/texlive-base-20230311-typecasts.patch
2024-02-03 22:51:39 -05:00

13 lines
795 B
Diff

diff -up texlive-base-20230311/source/texk/xdvik/gui/pagesel.c.me texlive-base-20230311/source/texk/xdvik/gui/pagesel.c
--- texlive-base-20230311/source/texk/xdvik/gui/pagesel.c.me 2024-01-19 21:02:08.541378286 +0100
+++ texlive-base-20230311/source/texk/xdvik/gui/pagesel.c 2024-01-19 21:17:31.425443142 +0100
@@ -538,7 +538,7 @@ xaw_update_list(void)
button_width = get_panel_width() - 2 * (resource.btn_side_spacing + resource.btn_border_width);
/* delete and re-create list */
ASSERT(total_pages <= (int)page_info.index_size, "");
- XawListChange(LIST_WIDGET, page_info.page_labels, 0,
+ XawListChange(LIST_WIDGET,(const char **) page_info.page_labels, 0,
MAX(button_width, pagelist_width), False);
/* restore selected item */
if (idx != XAW_LIST_NONE) {