|
Lines 538-544
xaw_update_list(void)
Link Here
|
| 538 |
button_width = get_panel_width() - 2 * (resource.btn_side_spacing + resource.btn_border_width); |
538 |
button_width = get_panel_width() - 2 * (resource.btn_side_spacing + resource.btn_border_width); |
| 539 |
/* delete and re-create list */ |
539 |
/* delete and re-create list */ |
| 540 |
ASSERT(total_pages <= (int)page_info.index_size, ""); |
540 |
ASSERT(total_pages <= (int)page_info.index_size, ""); |
| 541 |
XawListChange(LIST_WIDGET, page_info.page_labels, 0, |
541 |
XawListChange(LIST_WIDGET, (const char**) page_info.page_labels, 0, |
| 542 |
MAX(button_width, pagelist_width), False); |
542 |
MAX(button_width, pagelist_width), False); |
| 543 |
/* restore selected item */ |
543 |
/* restore selected item */ |
| 544 |
if (idx != XAW_LIST_NONE) { |
544 |
if (idx != XAW_LIST_NONE) { |
| 545 |
- |
|
|
