/* redraw the pager_index indicator, because the
* flags for this message might have changed. */
menu_redraw_current (index);
/* redraw the pager_index indicator, because the
* flags for this message might have changed. */
menu_redraw_current (index);