+ var services_vbox_title = new Label(_("Services:"));
+ label_make_bold(services_vbox_title);
+ services_vbox_title.set_alignment(0, (float) 0.5);
+
+ var services_vbox = new VBox(false, 6);
+ services_vbox.pack_start(services_vbox_title, false, false, 6);
+ services_vbox.pack_start(table_button_hbox, true, true, 6);
+
+
+ var selected_color = Gdk.Color();
+ selected_color.red = 0xd9 << 8;
+ selected_color.green = 0xf7 << 8;
+ selected_color.blue = 65535;
+
+ var unselected_color = Gdk.Color();
+ unselected_color.red = 65535;
+ unselected_color.green = 65535;
+ unselected_color.blue = 65535;
+
+ int i = 0;
+ foreach (string service in card.services)
+ {
+ var label = new Label(service);
+ label.set_alignment(0, (float) 0);
+
+ EventBox event_box = new EventBox();
+ event_box.add(label);
+ event_box.button_press_event.connect(() =>