+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);
+}
+