/* Redraw all help pages, to use a new font.  */
void help_redraw(void)
/* Redraw all help pages, to use a new font.  */
void help_redraw(void)
{
    GSList *help_page_ent;
    help_page_t *help_page;
    if (help_w != NULL) {
        for (help_page_ent = help_text_pages; help_page_ent != NULL;
             help_page_ent = g_slist_next(help_page_ent))
        {
            help_page = (help_page_t *)help_page_ent->data;
            text_page_redraw(help_page->page, help_page->pathname);
        }
    }
}