--- client/gui-gtk/gui_main.c.orig	Tue Mar  5 21:06:43 2002
+++ client/gui-gtk/gui_main.c	Tue Mar  5 21:06:45 2002
@@ -567,8 +567,6 @@
 
   /* turn done */
   turn_done_button = gtk_button_new_with_label(_("Turn Done"));
-  gtk_widget_set_style(turn_done_button, 
-                       gtk_style_copy(turn_done_button->style));
   gtk_table_attach_defaults(GTK_TABLE(table), turn_done_button, 0, 10, 2, 3);
 
   gtk_signal_connect(GTK_OBJECT(turn_done_button), "clicked",