for(n = 0; n < nbuttons; ++n) {
GtkWidget *const button = gtk_button_new_from_stock(buttons[n].stock);
gtk_widget_set_style(button, tool_style);
g_signal_connect(G_OBJECT(button), "clicked",
G_CALLBACK(buttons[n].clicked), 0);
for(n = 0; n < nbuttons; ++n) {
GtkWidget *const button = gtk_button_new_from_stock(buttons[n].stock);
gtk_widget_set_style(button, tool_style);
g_signal_connect(G_OBJECT(button), "clicked",
G_CALLBACK(buttons[n].clicked), 0);