/* Push a formatted message referring to file access onto the statusbar.  */
static void statusbar_push_file_msg(const gchar *msg_format,...) G_GNUC_PRINTF(1
/* Push a formatted message referring to file access onto the statusbar.  */
static void statusbar_push_file_msg(const gchar *msg_format,...) G_GNUC_PRINTF(1
{
    va_list ap;
    gchar *msg;
    if (higher_priority_status_level(STATUS_LEVEL_FILE))
        return;
    status_levels[STATUS_LEVEL_FILE]++;
    va_start(ap, msg_format);
    msg = g_strdup_vprintf(msg_format, ap);
    va_end(ap);
    gtk_statusbar_push(GTK_STATUSBAR(info_bar), file_ctx, msg);
    g_free(msg);
}