/* Push a formatted temporary message onto the statusbar.  */
void statusbar_push_temporary_msg(const gchar *msg_format,...)
/* Push a formatted temporary message onto the statusbar.  */
void statusbar_push_temporary_msg(const gchar *msg_format,...)
{
    va_list ap;
    gchar *msg;
    guint msg_id;
    va_start(ap, msg_format);
    msg = g_strdup_vprintf(msg_format, ap);
    va_end(ap);
    msg_id = gtk_statusbar_push(GTK_STATUSBAR(info_bar), main_ctx, msg);
    g_free(msg);
    flash_time = TEMPORARY_FLASH_TIMEOUT - 1;
    g_timeout_add(TEMPORARY_FLASH_INTERVAL, statusbar_flash_temporary_msg, NULL);
    g_timeout_add(TEMPORARY_MSG_TIMEOUT, statusbar_remove_temporary_msg, GUINT_TO_POINTER(msg_id));
}