/* XXX - should this include the user preference as well?  */
void set_window_title(GtkWidget *win, const gchar *caption)
/* XXX - should this include the user preference as well?  */
void set_window_title(GtkWidget *win, const gchar *caption)
{
    char *title;
    char *display_name;
    display_name = cf_get_display_name(&cfile);
    title = g_strdup_printf("%s: %s", caption, display_name);
    g_free(display_name);
    gtk_window_set_title(GTK_WINDOW(win), title);
    g_free(title);
}