/* Push a formatted message referring to the current filter onto the statusbar.  */
void statusbar_push_filter_msg(const gchar *msg_format,...)
/* Push a formatted message referring to the current filter onto the statusbar.  */
void statusbar_push_filter_msg(const gchar *msg_format,...)
{
    va_list ap;
    gchar *msg;
    if (higher_priority_status_level(STATUS_LEVEL_FILTER))
        return;
    status_levels[STATUS_LEVEL_FILTER]++;
    va_start(ap, msg_format);
    msg = g_strdup_vprintf(msg_format, ap);
    va_end(ap);
    gtk_statusbar_push(GTK_STATUSBAR(info_bar), filter_ctx, msg);
    g_free(msg);
}