/* Pop a message referring to the current filter off the statusbar.  */
void statusbar_pop_filter_msg(void)
/* Pop a message referring to the current filter off the statusbar.  */
void statusbar_pop_filter_msg(void)
{
    if (status_levels[STATUS_LEVEL_FILTER] > 0) {
        status_levels[STATUS_LEVEL_FILTER]--;
    }
    gtk_statusbar_pop(GTK_STATUSBAR(info_bar), filter_ctx);
}