3 class CustomVBox : VBox
5 public IdCardWidget current_idcard { get; set; default = null; }
6 private IdentityManagerView main_window;
8 public CustomVBox (IdentityManagerView window, bool homogeneous, int spacing)
11 set_homogeneous (homogeneous);
12 set_spacing (spacing);
15 public void receive_expanded_event (IdCardWidget id_card_widget)
17 var list = get_children ();
18 foreach (Widget id_card in list)
20 if (id_card != id_card_widget)
21 ((IdCardWidget) id_card).collapse ();
23 current_idcard = id_card_widget;
25 if (current_idcard != null && main_window.request_queue.length > 0)
26 current_idcard.send_button.set_sensitive (true);
29 public void add_id_card_widget (IdCardWidget id_card_widget)
31 pack_start (id_card_widget, false, false);
34 public void remove_id_card_widget (IdCardWidget id_card_widget)
36 remove (id_card_widget);