diff: src/util.c
src/util.c
- changeset 767
- 38a00d4f1b7b
- parent 765
- 048901ebbb85
- child 770
- f2e4dd20c2d4
--- a/src/util.c Fri Aug 25 05:11:32 2000 +0000 +++ b/src/util.c Fri Aug 25 21:03:36 2000 +0000 @@ -961,7 +961,7 @@ pixmap = gtk_pixmap_new(pm, mask); gtk_box_pack_start(GTK_BOX(button_box_2), pixmap, FALSE, FALSE, 0); - if (showtext == TRUE) + if (showtext) { label = gtk_label_new(text); gtk_widget_show(label);
