From 08bd87607f3df5cd8ee2ffb269da044719735a5c Mon Sep 17 00:00:00 2001
From: short <>
Date: Sun, 26 Oct 2003 19:26:19 +0000
Subject: [PATCH] Make the final screen text selectable (mount commands).

---
 src/install/acquire/ui-gnome.c | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/src/install/acquire/ui-gnome.c b/src/install/acquire/ui-gnome.c
index 1fa0dba..2e8df89 100644
--- a/src/install/acquire/ui-gnome.c
+++ b/src/install/acquire/ui-gnome.c
@@ -605,6 +605,18 @@ static void button_stock_set_label(GtkWidget *widget,const gchar *label_text_new
 		gtk_label_set_text_with_mnemonic(GTK_LABEL(widget),label_text_new);
 }
 
+static void PageFinish_set_label_attr(GtkWidget *widget,gpointer callback_data /* unused */)
+{
+	g_return_if_fail(GTK_IS_WIDGET(widget));
+
+	/**/ if (GTK_IS_CONTAINER(widget))
+		gtk_container_foreach(GTK_CONTAINER(widget),
+				(GtkCallback)PageFinish_set_label_attr,	/* callback */
+				callback_data);	/* callback_data; unused */
+	else if (GTK_IS_LABEL(widget) && gtk_label_get_line_wrap(GTK_LABEL(widget)))
+		gtk_label_set_selectable(GTK_LABEL(widget),TRUE);
+}
+
 /* of "ui-gnome-interface.h": */
 GtkWidget *create_App(void);
 /* of "ui-gnome-support.h": */
@@ -673,6 +685,10 @@ GtkBox *druid_button_box;
 	gtk_widget_show(GTK_WIDGET(DruidButtonOK));
 	g_signal_connect((gpointer)DruidButtonOK,"clicked",G_CALLBACK(on_DruidButtonOK_clicked),NULL);
 
+	gtk_container_foreach(GTK_CONTAINER(PageFinish),
+			(GtkCallback)PageFinish_set_label_attr,	/* callback */
+			NULL);	/* callback_data */
+
 	state_changed();
 }
 
-- 
1.8.3.1