diff -r b4e91b5583c3 -r 2e0f8150f665 src/util.c --- a/src/util.c Sat Aug 19 00:37:40 2000 +0000 +++ b/src/util.c Sat Aug 19 04:32:52 2000 +0000 @@ -928,7 +928,8 @@ gtk_widget_show(button_box_3); gtk_widget_show(button_box); - gtk_widget_set_usize(button, 75, 30); +/* this causes clipping on lots of buttons with long text */ +/* gtk_widget_set_usize(button, 75, 30);*/ gtk_widget_show(button); gdk_pixmap_unref(pm);