diff: src/gtkpounce.c
src/gtkpounce.c
- changeset 10366
- feb6a8f58e7d
- parent 10352
- 802e7ab5b838
- child 10432
- da2df724be56
--- a/src/gtkpounce.c Tue Dec 14 05:16:40 2004 +0000 +++ b/src/gtkpounce.c Tue Dec 14 19:36:23 2004 +0000 @@ -635,6 +635,8 @@ /* Delete button */ button = gtk_button_new_from_stock(GTK_STOCK_DELETE); gtk_box_pack_start(GTK_BOX(bbox), button, FALSE, FALSE, 0); + if (cur_pounce == NULL) + gtk_widget_set_sensitive(button, FALSE); gtk_widget_show(button); g_signal_connect(G_OBJECT(button), "clicked",
