gtk_box_set_spacing (GTK_BOX (GTK_DIALOG (properties)->vbox), 12);
gtk_dialog_add_button (GTK_DIALOG (properties), GTK_STOCK_CLOSE,
gtk_box_set_spacing (GTK_BOX (GTK_DIALOG (properties)->vbox), 12);
gtk_dialog_add_button (GTK_DIALOG (properties), GTK_STOCK_CLOSE,