- // this.delete_button = new Button.with_label(_("Delete"));
- // this.details_button = new Button.with_label(_("View details"));
- // this.send_button = new Button.with_label(_("Send"));
- // set_atk_name_description(delete_button, _("Delete"), _("Delete this ID Card"));
- // set_atk_name_description(details_button, _("Details"), _("View the details of this ID Card"));
- // set_atk_name_description(send_button, _("Send"), _("Send this ID Card"));
- // this.hbutton_box = new HButtonBox();
- // hbutton_box.pack_end(delete_button);
- // hbutton_box.pack_end(details_button);
- // hbutton_box.pack_end(send_button);
- // send_button.set_sensitive(false);
-
- // delete_button.clicked.connect(delete_button_cb);
- // details_button.clicked.connect(details_button_cb);
- // send_button.clicked.connect(send_button_cb);
-