--- a/src/about.c Fri Jun 08 19:33:05 2001 +0000 +++ b/src/about.c Fri Jun 08 23:17:17 2001 +0000 @@ -193,8 +193,8 @@ } /* this makes the sizes not work. */ - //GTK_WIDGET_SET_FLAGS(button, GTK_CAN_DEFAULT); - //gtk_widget_grab_default(button); + /* GTK_WIDGET_SET_FLAGS(button, GTK_CAN_DEFAULT); */ + /* gtk_widget_grab_default(button); */ button = picture_button(about, _("Web Site"), about_small_xpm); gtk_box_pack_end(GTK_BOX(hbox), button, FALSE, FALSE, 0);