}
current_idcard = id_card_widget;
- // if (current_idcard != null && main_window.request_queue.length > 0)
- // current_idcard.send_button.set_sensitive(true);
check_resize();
}
public void remove_id_card_widget(IdCardWidget id_card_widget)
{
- logger.trace("remove_id_card_widget");
-
remove(id_card_widget);
// Caller will eventually clear the list, re-setting all positions. I hope.