/* Pop a message referring to file access off the statusbar.  */
static void statusbar_pop_file_msg(void)
/* Pop a message referring to file access off the statusbar.  */
static void statusbar_pop_file_msg(void)
{
    if (status_levels[STATUS_LEVEL_FILE] > 0) {
        status_levels[STATUS_LEVEL_FILE]--;
    }
    gtk_statusbar_pop(GTK_STATUSBAR(info_bar), file_ctx);
}