+ /* Separator */
+
+ sep = gtk_hseparator_new();
+ gtk_box_pack_start(GTK_BOX(vbox), sep, FALSE, FALSE, 0);
+
+ /* Button box */
+
+ bbox = gtk_hbutton_box_new();
+ gtk_button_box_set_layout(GTK_BUTTON_BOX(bbox), GTK_BUTTONBOX_END);
+ gtk_button_box_set_spacing(GTK_BUTTON_BOX(bbox), 6);
+ gtk_box_pack_start(GTK_BOX(vbox), bbox, FALSE, FALSE, 0);
+
+ /* Revert Button */
+
+ but = gtk_button_new_with_mnemonic("_Revert");
+ gtk_box_pack_start(GTK_BOX(bbox), but, FALSE, FALSE, 0);
+
+ /* Apply Button */
+
+ but = gtk_button_new_with_mnemonic("_Apply");
+ gtk_box_pack_start(GTK_BOX(bbox), but, FALSE, FALSE, 0);
+
+ /* Status bar */
+
+ bar = gtk_statusbar_new();
+ gtk_box_pack_start(GTK_BOX(vbox), bar, FALSE, FALSE, 0);
+