Make the final screen text selectable (mount commands).

diff --git a/src/install/acquire/ui-gnome.c b/src/install/acquire/ui-gnome.c
index 1fa0dba..2e8df89 100644 (file)
--- 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();
 }